Questions marquées «bash»

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...

16
Éviter les erreurs dues à un astérisque non développé

En bash, j'utilise souvent des boucles for telles que les suivantes for file in *.type; do sommecommand "$file"; done; pour effectuer une opération pour tous les fichiers correspondants *.type. Si aucun fichier avec cette fin n'est trouvé dans les répertoires de travail, l'astérisque n'est pas...

16
bash_history: commentez les commandes dangereuses: `#`

Pour empêcher la journalisation des commandes "dangereuses" dans l'historique bash, j'ai ajouté la ligne suivante à mon .bashrcfichier: HISTIGNORE='rm *:mv *:cp *:cat*>*:pv*>*' cela fonctionne bien, mais cela a un effet secondaire: je ne peux pas voir l'historique complet des commandes...

16
Qu'est-ce que la redirection avec> | faire?

Quand devez-vous utiliser >|pour rediriger la sortie vers un fichier au lieu de simplement >? L'explication donnée lorsque l'on m'a montré que cela garantissait que le fichier cible était tronqué en premier. Mais je pensais >que cela impliquait déjà cela. Est