# Pour synchroniser facilement les données gpg entre mes deux machines
+if [ "$1" = "--local" ]
+then
+ localmode=".local"
+fi
+
echo "ici → cabal"
-gpg --export | ssh cabal gpg --import
+gpg --export | ssh cabal${localmode} gpg --import
echo "cabal → ici"
-ssh cabal gpg --export | gpg --import
+ssh cabal${localmode} gpg --export | gpg --import