Questions marquées «shell»

17
Démarrez zsh avec un zshrc personnalisé

Je veux pouvoir démarrer zsh avec un fichier rc personnalisé similaire à la commande: bash --rc-file /path/to/file Si ce n'est pas possible, est-il possible de démarrer zsh, d'exécuter source /path/to/file, puis de rester dans la même session zsh? Remarque: La commande zsh --rcs /path/to/filene...

17
Comment utiliser les couleurs dans le MOTD?

J'ai modifié la valeur par défaut/etc/update-motd.d/00-header , en ajoutant de la couleur pour en faciliter la lecture: printf "Welcome to \e[1;34m%s\e[0m \e[2m(%s %s %s)\e[0m\n" "$DISTRIB_DESCRIPTION" "$(uname -o)" "$(uname -r)" "$(uname -m)" Je peux très bien exécuter cette ligne de code dans un...

17
Pourquoi le chat x >> x fait-il une boucle?

Les commandes bash suivantes entrent dans une boucle infinie: $ echo hi > x $ cat x >> x Je peux deviner que la catlecture continue xaprès avoir commencé à écrire sur stdout. Ce qui est déroutant, cependant, c'est que ma propre implémentation de test de cat présente un comportement...

17
Espaces à côté des tuyaux

J'ai vu history | grep blahet history |grep blah; et history|grep blahfonctionne également, bien que personne ne semble jamais l'utiliser. Y a-t-il une signification dans les espaces (par exemple, la tuyauterie vers / depuis différentes commandes nécessite une utilisation différente des espaces),...

17
Transformer la liste en une seule ligne avec délimiteur

Je dois prendre une liste (charges) d'adresses IP dans ce format: 134.27.128.0 111.245.48.0 109.21.244.0 et les transformer en ce format avec un tuyau entre les deux (IP composées) 134.27.128.0 | 111.245.48.0 | 109.21.244.0 | 103.22.200.0/22 Je pense que c'est une commande find and replace comme...