Quitter la session à la fin avec : pkill -KILL -u 'whoami'
permet de prendre en compte des changements faits sur l’environnement (visuel de la barre des tâches, langue, configuration du clavier...).
On ne copie généralement dans les fichiers de config pas tout, mais seulement les modifications apportées.
Pour repérer le fichier modifié, pour chaque modification, je copie le dossier de config original sur le bureau et le nomme « config_original », puis j’applique ma modification et copie le dossier de config actuel sur le bureau et le nomme « config_actuel ». En faisant un clic droit sur le bureau et « ouvrir un terminal ici » je tape (toujours en utilisant l’autocomplétion avec la touche tab) : diff -qr config_original/ config_actuel/
L’option -q ’afficher les différences
L’option -r (recursive) permet de comparer aussi les sous-dossiers.
Le terminal indique alors quels dossiers sont différents.
Quitter la session à la fin avec :
pkill -KILL -u 'whoami'permet de prendre en compte des changements faits sur l’environnement (visuel de la barre des tâches, langue, configuration du clavier...).
On ne copie généralement dans les fichiers de config pas tout, mais seulement les modifications apportées.
Pour repérer le fichier modifié, pour chaque modification, je copie le dossier de config original sur le bureau et le nomme « config_original », puis j’applique ma modification et copie le dossier de config actuel sur le bureau et le nomme « config_actuel ». En faisant un clic droit sur le bureau et « ouvrir un terminal ici » je tape (toujours en utilisant l’autocomplétion avec la touche tab) :
diff -qr config_original/ config_actuel/L’option -q ’afficher les différences
L’option -r (recursive) permet de comparer aussi les sous-dossiers.
Le terminal indique alors quels dossiers sont différents.