Espacer un fichier en utilisant awk

Je parcourais le awk et trouvai les deux commandes ci-dessous pour espacer deux fois un fichier.

Quelqu’un peut-il s’il vous plaît expliquer comment ces commandes fonctionnent réellement?

awk '1;{print ""}' filename awk 'BEGIN{ORS="\n\n"};1' filename 

Merci

Votre premier exemple utilise deux raccourcis awk courants: 1 est juste un modèle qui est toujours vrai, donc l’action par défaut, qui est “imprimer la ligne”, est exécutée pour chaque ligne. Ensuite, il y a une règle avec un motif vide (qui est également toujours vrai, mais vous ne pouvez pas omettre à la fois le motif et l’action), qui dans son action imprime simplement une ligne vide.

Votre deuxième exemple modifie le séparateur de compte rendu, qui est généralement une simple fin de ligne, pour qu’il soit deux, de sorte que la copie de chaque ligne suffit. (Les règles BEGIN sont exécutées avant la lecture du fichier d’entrée.)