--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/dejsem.1.5/unix/bin/dejsem	Wed Nov 27 09:50:16 2019 +0100
@@ -0,0 +1,22 @@
+#!/bin/bash
+
+case $(basename $0) in
+	d.l 		) p='--pulllist' ;;
+	d.list		) p='--pulllist' ;;
+	d.plc		) p='--pull' ;;
+	d.plf		) p='--pullfile' ;;
+	d.plp		) p='--pullpeer' ;;
+	d.puc		) p='--push' ;;
+	d.puf		) p='--pushfile' ;;
+	d.pull		) p='--pull' ;;
+	d.pullfile	) p='--pullfile' ;;
+	d.pulllist	) p='--pulllist' ;;
+	d.pullpeer	) p='--pullpeer' ;;
+	d.pup		) p='--pushpeer' ;;
+	d.push		) p='--push' ;;
+	d.pushfile	) p='--pushfile' ;;
+	d.pushpeer	) p='--pushpeer' ;;
+esac
+
+[[ $p$@ ]] || p=-h
+/usr/lib/dejsem/main.py $p "$@"