--- /dev/null
+#!/bin/bash
+# to be run on www.planet-lab.eu where the CERTH key was imported
+
+DIR=/root/thierry
+
+# refresh EXPORT and EXPORT.snip with the python script
+
+plcsh ./export-omf.py -- -n EXPORT.snip
+plcsh ./export-omf.py -- EXPORT
+
+yes | gpg -r CERTH -e < EXPORT.snip > EXPORT.snip.nitlab
+yes | gpg -r CERTH -e < EXPORT > EXPORT.nitlab