Imagine tu dois réinstaller ton système, un truc chiant c’est que tu vas devoir retrouver et réinstaller tous les magnifiques paquets super geek que tu as trouvé depuis le début (et désinstaller les paquets livrés avec Ubuntu dont tu n’as cure).

Mais en fait non : tant que ton système marche, tape

dpkg --get-selections "*" > liste_de_paquets

Evidemment, garde liste_de_paquets ailleurs que sur ton ordi. Perso je la
régénère et la copie sur mon disque de sauvegarde à chaque backup.

Un jour, quelque chose de pas cool arrive et tu dois réinstaller ubuntu.
Après cette opération, sur ton système de base à nouveau vierge de tes
paquets préférés, il te suffit de faire

dpkg --set-selections < liste_de_paquets && sudo apt-get dselect-upgrade

Et tu retrouves tous tes petits.

A la semaine prochaine !

Aymeric

C’est comme “diff -y”, l’option de diff qui permet de mettre les deux fichiers comparés côte à côte. Mais en plus, il y a des couleurs, et la possibilité d’éditer les fichiers! Puissant non?

Compares donc deux fichiers en tapant:

vimdiff fichier1 fichier2

Tu seras surpris!
Si tu as peur d’écrire sur les fichiers, l’option “vimdiff -R” permet d’ouvrir les deux fichiers en lecture seule.
Tu peux comparer aussi des répertoires avec la commande

diff rep1 rep2 > diff.txt

Et ouvrir le fichier texte sorti avec vimdiff! Les couleurs rendent alors les choses beaucoup plus clair!!
A la semaine prochaine!
J-B

#!/bin/bash
# ex: pdfsearch /BIBLIO/ATMO/ "planetary waves"
# This command mentions all the paper
# and the corresponding excerpt
# containing the words "planetary waves"
# in a file called pdfsearch.txt;
# This file will be written in the current directory.
if [ $# -ne 2 ]
then
echo "2nd argument : text you are looking for."
exit
fi
if [ -d $1 ]
then
fichiers="$1*.pdf"
for file in $fichiers
do
if [ -e "$file.txt" ]
then
:
else
pdftotext -enc UTF-8 "$file" "$file.txt"
echo $file "has been converted to text."
fi
done
echo "Database has been updated;"
rm -f pdfsearch.txt
grep -i "$2" $fichiers.txt > pdfsearch.txt
echo "File pdfsearch.txt has been created;"
else
echo "$1 is supposed to be a directory;"
fi

Par contre le script va créer des fichiers .txt associés à tous tes .pdf, moi ça ne me dérange pas, mais fais gaffe si tu n’as pas envie d’avoir pleins de fichier nomdufichierpdf.pdf.txt, modifie le script !


PREF_SET, 'IDL_PATH', '/home/blabla/mon_dossier_de_sources:', /COMMIT


Cool, non ? L’important c’est le COMMIT. Astuce valable pour les versions supérieures à 6.2

gnome-terminal -e "ssh -t name@passerelle 'ssh ma_machine'"