Tag : bash
notes (3)
rm -fr ma_connerie
Parfois, par habitude ou lassitude, on oublie certains principes de bases en programmation : toujours vérifier scrupuleusement les conséquences d'une action quand celle-ci implique la suppression de données. Ou comment un script plutôt anodin a failli envoyer ad patres une semaine de travail.
Bash : renommer une série de répertoires
Supposons que vous ayez une série de répertoires que vous souhaitez renommer avec un préfixe commun auquel s'ajoute un chiffre à incrémenter, du genre « dossier 1 », « dossier 2 », etc. Voici un script bash tout simple qui permet de le faire.
Chercher/remplacer en bash
Qui a dit que la ligne de commande était morte sous Linux ? Voilà un exemple dés plus simple où un petit script vaut mieux qu'une interface graphique...
projets (1)
Gedit plugin Installer
Petit script bash permettant d'automatiser l'installation d'un plugin Gedit 3.