blob: 555b69408b718c2441603d3fc28c4860b7693c1a (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
#!/bin/bash
. "${0%/*}/../conf/default.conf"
if [ "${SSH_ORIGINAL_COMMAND%% *}" == "get-assignment" ] || \
[ "${SSH_ORIGINAL_COMMAND%% *}" == "return-assignment" ]; then
/bin/bash -c "${base_dir}/bin/${SSH_ORIGINAL_COMMAND}"
else
>&2 echo "Invalid command: '${SSH_ORIGINAL_COMMAND%% *}'"
exit 1
fi
|