dejsem.1.5/unix/bin/dejsem
author hh
Wed, 27 Nov 2019 09:50:16 +0100
changeset 0 676905a3b03c
permissions -rwxr-xr-x
--
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
0
hh
parents:
diff changeset
     1
#!/bin/bash
hh
parents:
diff changeset
     2
hh
parents:
diff changeset
     3
case $(basename $0) in
hh
parents:
diff changeset
     4
	d.l 		) p='--pulllist' ;;
hh
parents:
diff changeset
     5
	d.list		) p='--pulllist' ;;
hh
parents:
diff changeset
     6
	d.plc		) p='--pull' ;;
hh
parents:
diff changeset
     7
	d.plf		) p='--pullfile' ;;
hh
parents:
diff changeset
     8
	d.plp		) p='--pullpeer' ;;
hh
parents:
diff changeset
     9
	d.puc		) p='--push' ;;
hh
parents:
diff changeset
    10
	d.puf		) p='--pushfile' ;;
hh
parents:
diff changeset
    11
	d.pull		) p='--pull' ;;
hh
parents:
diff changeset
    12
	d.pullfile	) p='--pullfile' ;;
hh
parents:
diff changeset
    13
	d.pulllist	) p='--pulllist' ;;
hh
parents:
diff changeset
    14
	d.pullpeer	) p='--pullpeer' ;;
hh
parents:
diff changeset
    15
	d.pup		) p='--pushpeer' ;;
hh
parents:
diff changeset
    16
	d.push		) p='--push' ;;
hh
parents:
diff changeset
    17
	d.pushfile	) p='--pushfile' ;;
hh
parents:
diff changeset
    18
	d.pushpeer	) p='--pushpeer' ;;
hh
parents:
diff changeset
    19
esac
hh
parents:
diff changeset
    20
hh
parents:
diff changeset
    21
[[ $p$@ ]] || p=-h
hh
parents:
diff changeset
    22
/usr/lib/dejsem/main.py $p "$@"