« Commandes BASH » : différence entre les versions
| (3 versions intermédiaires par le même utilisateur non affichées) | |||
| Ligne 341 : | Ligne 341 : | ||
=== Taille des partitions === | === Taille des partitions === | ||
<syntaxhighlight lang="bash" | <syntaxhighlight lang="bash" copy> | ||
df -h | df -h | ||
</syntaxhighlight> | </syntaxhighlight> | ||
| Ligne 385 : | Ligne 385 : | ||
=== Comparer répertoire === | === Comparer répertoire === | ||
<syntaxhighlight lang="bash" | <syntaxhighlight lang="bash" copy> | ||
diff -rb /rep1/ /rep2/ | diff -rb /rep1/ /rep2/ | ||
</syntaxhighlight> | </syntaxhighlight> | ||
=== supprimer un repertoire === | === supprimer un repertoire === | ||
<syntaxhighlight lang="bash" | <syntaxhighlight lang="bash" copy> | ||
rm -rf portail | rm -rf portail | ||
</syntaxhighlight> | </syntaxhighlight> | ||
| Ligne 547 : | Ligne 547 : | ||
== Profile == | == Profile == | ||
<syntaxhighlight lang="bash" | Relancer /etc/profile/ | ||
<syntaxhighlight lang="bash" copy> | |||
source /etc/profile | source /etc/profile | ||
</syntaxhighlight> | </syntaxhighlight> | ||