Wiki Manuel du Shell bash

paskal · 25-09-2015 18:23:16

milou · 23-10-2015 18:48:53

Remplacement d'un lien cassé suite à la sortie du chantier de certaines pages

milou · 09-01-2016 13:26:36

J'ai rempli la ligne de commentaires, à vérifier

paskal · 09-01-2016 14:17:25

Ok pour moi, avec un "s" minuscule à "shell" un peu partout dans cette page ...

milou · 09-01-2016 17:07:58

oK, je vais rectifier ça

milou · 09-01-2016 18:08:01

Voilà, si je n'en ai pas zappé, C Fê

paskal · 09-01-2016 18:22:21

Superbe tuto, au passage

milou · 09-01-2016 18:27:52

bendia · 22-02-2018 21:54:43

Est-ce que les raccourcis clavier vu dans le MOOC Maitriser le shell Bash pour éditer et se déplacer dans une ligne de commande n'aurait pas leur place ici ?

Mercredi · 22-02-2018 22:29:54

Ils seraient bien utiles je pense, je ne les connaissait pas avant de suivre le Mooc.
Combien de fois j'ai pesté de devoir déplacer le curseur en début ou fin de ligne avec les touches flèches droit et gauche, si j'avais connu ces raccourcis plus tôt ...

bendia · 22-02-2018 22:36:25

Mercredi a écrit :

Ils seraient bien utiles je pense, je ne les connaissait pas avant de suivre le Mooc.

Pareil C'est pour ça que ça me semblait utilise de les mettre dans le wiki, mais je ne sais pas trop où, du fait qu'ils semblent spécifique à bash

smolski · 23-02-2018 07:15:47

bendia a écrit :

je ne sais pas trop où, du fait qu'ils semblent spécifique à bash

On ouvre une page par commande en la nommant : bash - nom_commande

sinon une page : bash - commandes
Si tu veux les réunir toutes

Et pareil pour le référencement : doc:bash:nom_commande par exemple

bendia · 23-02-2018 08:26:50

En fait, ça concerne l'utilisation de l'interpréteur de commande en lui même, pas d'une commande en particulier (reculer d'un mot, retourner en début de ligne ...). Seulement, c'est spécifique à bash, et pas nécessairement aux autres shells. Ce tuto n'est pas tellement mis en avant, c'est pour cela que je m'interroge

smolski · 23-02-2018 08:34:06

Ah ?
Un titrage générique pour l'ensemble alors ?
Bash - Interprétateur de commandes

bendia · 23-02-2018 19:47:32

Tiens, c'est peut-être générique à d'autres shells finalement https://debian-facile.org/doc:programma … hell-linux ?

bendia · 24-02-2018 10:37:11

Bon, en fait, ces raccourcis sont commun à au moins bash et zsh. Mieux encore, ce sont les même raccourcis clavier que ceux de l'éditeur de texte emacs. Et mieux encore (ou pire, si on se place du point de vue de Saint-Ignucius

), on peut basculer sur un mode d'édition de ligne de commande de l'éditeur vim avec

set -o vi

On se retrouve alors avec un vim en mode insertion, qui se quitte donc avec Echap pour retroiuver le mode normal où on peut utiliser les raccourcis de vim. On repasse en mode insertion avec i (ou a).

Pour repasser avec le comportement habituel (raccourcis type emacs), c'est

set -o emacs

Je pense que je m'en vais faire une page spéciale pour ces raccourcis, et essayer de la rendre accessible assez haut dans l'arborescence

bendia · 24-02-2018 20:10:55

Bon, au final, j'ai ajouté ça là http://debian-facile.org/doc:programmation:shell:shell. Reste à mettre en valeur ces trucs et astuces

enicar · 24-02-2018 20:26:20

Correction d'une erreur dans le tableau des raccourcis du mode emacs. <key>A+C</key> est interprété comme
Alt+Ctrl alors que le bon raccourcis est Alt+C qu'il faut note <key>A+c</key> (le c est en minuscule !).
C'est le raccourcis qui permet de capitaliser un mot, on place le curseur sur sa première lettre, on tape
Alt-C, la lettre sous le curseur est mise en majuscule, et le curseur se déplace juste après la fin du mot.

Ce raccourcis permet de capitaliser les mots d'une ligne en série, juste en appuyant sur Alt-c plusieurs fois.
Si le curseur est positionné sur un caractère d'espacement, on va d'abord sauter tous ces caractères
d'espacement, jusqu'à rencontrer un caractère qui n'est pas un caractère d'espacement, capitaliser ce
caractère et ensuite se positionner juste sur le premier caractère qui est un caractère d'espacement.
Les caractères d'espacement sont les espaces, les tabulations, les fin de ligne…

Dernière modification par enicar (24-02-2018 20:31:03)

Debian-facile

#51 25-09-2015 18:23:16

Re : Wiki Manuel du Shell bash

#52 23-10-2015 18:48:53

Re : Wiki Manuel du Shell bash

#53 09-01-2016 13:26:36

Re : Wiki Manuel du Shell bash

#54 09-01-2016 14:17:25

Re : Wiki Manuel du Shell bash

#55 09-01-2016 17:07:58

Re : Wiki Manuel du Shell bash

#56 09-01-2016 18:08:01

Re : Wiki Manuel du Shell bash

#57 09-01-2016 18:22:21

Re : Wiki Manuel du Shell bash

#58 09-01-2016 18:27:52

Re : Wiki Manuel du Shell bash

#59 22-02-2018 21:54:43

Re : Wiki Manuel du Shell bash

#60 22-02-2018 22:29:54

Re : Wiki Manuel du Shell bash

#61 22-02-2018 22:36:25

Re : Wiki Manuel du Shell bash

#62 23-02-2018 07:15:47

Re : Wiki Manuel du Shell bash

#63 23-02-2018 08:26:50

Re : Wiki Manuel du Shell bash

#64 23-02-2018 08:34:06

Re : Wiki Manuel du Shell bash

#65 23-02-2018 19:47:32

Re : Wiki Manuel du Shell bash

#66 24-02-2018 10:37:11

Re : Wiki Manuel du Shell bash

#67 24-02-2018 20:10:55

Re : Wiki Manuel du Shell bash

#68 24-02-2018 20:26:20

Re : Wiki Manuel du Shell bash

Pied de page des forums