Han!
Je savais pas qu'on pouvait changer les séparateurs de sed! Exemple d'utilisation:

JENKINS_HOME=/mnt/jenkins/data
sed -i "s|^JENKINS_HOME=.*|JENKINS_HOME=$JENKINS_HOME|" /etc/default/jenkins

Le sed remplace la valeur de JENKINS_HOME dans le fichier de conf, par la valeur de la variable d'environnement du même nom. Le fait qu'il y ait des "/" dans cette variable ne pose pas de problème à sed car on a choisi un autre type de séparateur ("|"). Donc pas besoin d'échapper ces caractères.

Obtenir un shell root simplement en éditant une entrée grub.

Rajouter
"""
init=/bin/sh
"""
sur la ligne qui commence par "linux ...". Bootez avec ctrl+X

Valable si votre / n'est pas chiffré.

"""
what if you could make SOME CRAZY FUCKING AWESOME SHIT dans ton terminal
"""
Outil qui semble puissant. Pas encore testé.

"""
Les normes de scripting Shell en vigueur chez Google.

Également dispo pour les autres langages de développement utilisées par Google (C++, Java, Python, HTML/CSS, JavaScript...) à cette adresse:

https://code.google.com/p/google-styleguide/
"""
j'aime bien ce passage
" Shell should only be used for small utilities or simple wrapper scripts.

While shell scripting isn't a development language, it is used for writing various utility scripts throughout Google. This style guide is more a recognition of its use rather than a suggestion that it be used for widespread deployment. "

via https://julien.mailleret.fr/links/?6X0qPw

tiré de http://blog.flowblok.id.au/2013-02/shell-startup-scripts.html

un site qui explique les commandes pour les débutants.
Language = python + flask
Source données = manpage d'ubuntu http://manpages.ubuntu.com/
Les infos importantes sont récupérées grâce à NLTK et ça utilise http://d3js.org/ pour l'aspect graphique
Il est prévu que le site soit opensourcé.