Page web de dEdIUS

Concaténer plusieurs jpeg dans un même pdf :

gm convert file1.jpg file1.pdf
gm convert file2.jpg file2.pdf
pdftk file1.pdf file2.pdf cat output doc.pdf

shnsplit -f *.cue -o flac -t "%n-%p-%a-%t" -- *.flac

Puis :

cuetag *.cue split-track*.flac ;

Pour se connecter au travail depuis la maison

ssh -L 9999:lappcpxxx.in2p3.fr:22 user@lappslxxx.in2p3.fr

Puis:

ssh -X -p 9999 -l user localhost

Ce qui correspond à localhost <-> passerelle.domaine:22 <-> machine_cible.domaine

ssh -L 9999:passerelle.domaine:22 utilisateur@machine_cible.domaine

Puis

ssh -X -p 9999 -l utilisateur localhost

Ceci va "mapper" le port 22 de la passerelle vers le port 9999 de la machine locale.