Questions marquées «shell»

14
Le piège est-il hérité d'un sous-shell?

J'ai essayé un script suivant: #!/bin/bash trap 'echo "touching a file" && touch $FILE' EXIT foo1(){ echo "foo1" } foo(){ echo "foo" export FILE=${FILE:-/tmp/file1} } (foo1) foo La sortie du script ci-dessus était: [root@usr1 my_tests]# ./test.sh foo1 foo touching a file Cependant, je...

14
Indexer une chaîne en bash

Comment puis-je faire référence à une chaîne par index dans sh / bash? Autrement dit, le séparer essentiellement. J'essaie de supprimer 5 caractères d'un nom de fichier. Tous les noms ont la structure: nom_nr_code. J'essaie de supprimer le bit de code alphanumérique 5. name_nr_est toujours de 10...

14
Puis-je obtenir un `du` groupé par mois?

J'ai un répertoire contenant beaucoup de photos. Plus précisément, du -sh --apparent-size /path/to/myfolderme donne 331G. Qui est genial. Mais maintenant, je veux obtenir une liste groupée par mois, par exemple quelque chose comme ceci: 2016-01 20MB 2016-02 520MB 2016-03 312MB ... Existe-t-il un...

14
Impossible de désinstaller l'extension Gnome Shell

Gnome Shell 3.18.5 m'a informé que certaines extensions devaient être mises à jour. J'ai visité https://extensions.gnome.org/local/ de Firefox, mis à jour l'extension Firefox, et maintenant je veux désinstaller certaines des extensions Gnome, par exemple la suivante. Menu du lecteur amovible par l'...

13
Descripteurs de fichiers qui fuient

Qu'est-ce que cela signifie en cas de fuite du descripteur de fichier File descriptor 6 (socket:[901758]) leaked on lvextend invocation. Parent PID 10035: /bin/zsh File descriptor 9 (/dev/pts/1) leaked on lvextend invocation. Parent PID 10035: /bin/zsh File descriptor 11 (/dev/pts/1) leaked on...