blob: 2a65c35bb39e4c1227ef39ad5d1f25e36623bc6e [file] [log] [blame]
Ron Yorston981b2ef2020-01-13 10:33:46 +00001#!/bin/sh
2MIMFILE="Mimfile"
3if [ $# -ge 2 ] && [ "$1" = "-f" ]
4then
5 MIMFILE="$2"
6 shift 2
7fi
8exec <"$MIMFILE" || exit 1
9{
10 INCASE=false
11 while read -r REPLY
12 do
13 case $REPLY in
14 *:)
15 if ! $INCASE
16 then
17 printf '[ $# -eq 0 ] && set -- "%s"
18TARGET="$1"
19shift
20case "$TARGET" in
21' "${REPLY%:}"
22 else
23 printf ';;\n'
24 fi
25 printf '%s)\n' "${REPLY%:}"
26 INCASE=true
27 ;;
28 "") ;;
29 *) printf '%s\n' "${REPLY##[ ]}";;
30 esac
31 done
32 $INCASE && printf ';;\n'
33 printf '*)
34echo "Unknown command $TARGET"
35exit 1
36;;
37esac
38'
39} | sh -s "$@"