Les bookmarks de Clem
2352 shaares
14 results
tagged
bash
Taper dans une console:
kill -9 -1
Ça va tuer tous les processus,finir la session, et ramener l'utilisateur à l'écran de login
kill -9 -1
Ça va tuer tous les processus,finir la session, et ramener l'utilisateur à l'écran de login
Liste de commandes linux les plus courantes.
Ben putain, c'est bon à savoir:
some-command <(another-command)
va exécuter "another-command" -- il faut que cette autre commande écrive le résultat dans stdout -- et va passer le résultat à some-command (avec some-command une commande qui prend un nom de fichier comme argument). Donc pas besoin de stocker dans les fichiers, on passe directement le résultat du l'une à l'autre. Comme un pipe, sauf que (i) on peut substituer autant de commande qu'on veut, par exemple:
diff <(curl http://somesite/file1) <(curl http://somesite/file2)
va substituer les deux curl et les passer à diff; et (ii) les commandes substituées sont lancées en parallèle et pas à la suite.
some-command <(another-command)
va exécuter "another-command" -- il faut que cette autre commande écrive le résultat dans stdout -- et va passer le résultat à some-command (avec some-command une commande qui prend un nom de fichier comme argument). Donc pas besoin de stocker dans les fichiers, on passe directement le résultat du l'une à l'autre. Comme un pipe, sauf que (i) on peut substituer autant de commande qu'on veut, par exemple:
diff <(curl http://somesite/file1) <(curl http://somesite/file2)
va substituer les deux curl et les passer à diff; et (ii) les commandes substituées sont lancées en parallèle et pas à la suite.
Yen a des zoulis, j'ai pas tout compris, par exemple
while :;do printf "\e[%d;%dH\e[48;5;%dm \e[0m" $(($RANDOM%$LINES)) $(($RANDOM%$COLUMNS)) $(($RANDOM%216 )); done
while :;do printf "\e[%d;%dH\e[48;5;%dm \e[0m" $(($RANDOM%$LINES)) $(($RANDOM%$COLUMNS)) $(($RANDOM%216 )); done
Plein d'alias rigolo pour bash
Une bonne réponse à une bonne question. On n'a pas besoin d'avoir des droits spécifiques sur un fichier toto pour le supprimer avec rm toto. Par contre, il faut avoir le droit d'écrire dans le répertoire qui le contient. Pas idiot comme logique
Une explication claire de la différence entre du et ls, et pourquoi les deux commandes ne renvoient pas toujours les mêmes résultats
Tiens? On peut utiliser ESS pour éditer des scripts shell.
Très intéressant: pour splitter un pdf scanné en A3 en un pdf constitué de succession de pages A4. Je suis en train de passer toutes mes BD (au moins celles en noir et blanc) en pdf, et le scan en A3 prend moins de temps. Mais disposer de A4 est plus sympa sur mon livre électronique. Du coup, je m'appuie sur pdfshuffler pour "cropper" les 50% gauche, sauver le truc dans fic1.pdf, puis pour cropper les 50% de droite, et sauver le truc dans fic2.pdf
Puis, sous bash, je transforme le doc à X pages en X docs pdf avec pdftk (pdftk monfichier.pdf burst). pdftk est assez utile pour ça. Je le renomme avec un script bash:
num=1
for i in *.pdf
do
cp "$i" "re/pg_$(printf "%04u" $num).jpg"
let num=num+2
done
même chose pour les pages paires. et un petit coup de ghostscript pour reconcaténer le tout.
Puis, sous bash, je transforme le doc à X pages en X docs pdf avec pdftk (pdftk monfichier.pdf burst). pdftk est assez utile pour ça. Je le renomme avec un script bash:
num=1
for i in *.pdf
do
cp "$i" "re/pg_$(printf "%04u" $num).jpg"
let num=num+2
done
même chose pour les pages paires. et un petit coup de ghostscript pour reconcaténer le tout.
plus de précisions sur les tests en bash (les crochets et doubles crochets)
Liste des variables internes sous bash
Quelques solutions intéressantes pour créer des raccourcis pour cd vers un répertoire sans avoir à taper toute l'adresse. La solution CDPATH est pas mal.
Quelques commandes shell bien utiles, via bookmark pingouin.
Les erreurs communes en bash