Étiquette: bash x49

$ whatis source source: nothing appropriate. $ man source No manual entry for source $ source bash: source: filename argument required source: usage:...

• 604
• bash
• shell
• documentation

Quelle est la différence entre .bashrc et .bash_profile et laquelle dois-je utiliser ?...

• 453
• bash
• bashrc
• .bash-profile

J'essaie de changer l'utilisateur/groupe d'un lien symbolique avec la commande : $ chown -h myuser:mygroup mysymbolic/ Mais ça ne change pas. Je su...

• 319
• linux
• bash
• shell
• symbolic-link
• root

J'utilise Tilda (terminal déroulant) sur Ubuntu comme "centre de commande" - à peu près comme d'autres utilisent GNOME Do, Quicksilver ou Launchy. Cep...

• 311
• linux
• bash
• shell
• ubuntu
• terminal

Y a-t-il un moyen de revenir au répertoire précédent dans lequel nous étions en utilisant bash,tcsh sans utiliser pushd/popd ? J'aimerais taper quelque...

• 308
• linux
• command-line
• bash

Bonjour, je veux ajouter du texte au début d'un fichier. Par exemple, je veux ajouter des tâches au début d'un fichier todo.txt. Je connais echo 'task...

• 306
• bash

Puis-je rechercher l'historique dans bash et lancer le résultat ?...

• 302
• unix
• bash

Quelle est la différence entre exécuter un script Bash comme A et se procurer un script Bash comme B ? A ./myscript B source myscript...

• 302
• linux
• bash
• script

Comment itérer correctement sur les lignes de bash, soit dans une variable, soit à partir de la sortie d'une commande ? Le simple fait de définir la va...

• 247
• bash

Quand je copie quelque chose dans le presse-papiers et que j'appuie sur Ctrl + V dans le Bash, rien ne se passe ; Cependant, un clic droit et...

• 196
• linux
• bash
• keyboard-shortcuts
• copy-paste
• clipboard