Questions marquées «shell»

17
Comment créer un gros fichier sous UNIX?

J'ai trouvé un moyen dans Windows de faire une telle chose echo "This is just a sample line appended to create a big file. " > dummy.txt for /L %i in (1,1,21) do type dummy.txt >> dummy.txt http://www.windows-commandline.com/how-to-create-large-dummy-file/ Existe-t-il un moyen sous UNIX de...

16
Traitement de la variable bash avec sed

la variable bash LATLNG contient une valeur de latitude et de longitude entre parenthèses comme ceci (53.3096,-6.28396) Je veux les analyser dans une variable appelée LAT et LON que j'essaie de faire via sed comme ça LAT=$(sed "s/(\(.*\),\(.*\))/\1/g" "$LATLNG") LON=$(sed "s/(\(.*\),\(.*\))/\2/g"...

16
Changer la police dans la commande echo

Est-il possible de changer les attributs de police de la sortie d'écho dans zsh ou bash? Ce que je voudrais, c'est quelque chose qui ressemble à: echo -n "This is the font: normal " echo -n $font=italic "italic," echo -n $font=bold "bold," echo -n "and" echo -n $font=small "small". pour qu'il...