diff options
Diffstat (limited to 'xpdf-dummy')
-rwxr-xr-x | xpdf-dummy | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/xpdf-dummy b/xpdf-dummy new file mode 100755 index 000000000000..52cca14ed833 --- /dev/null +++ b/xpdf-dummy @@ -0,0 +1,14 @@ +#!/bin/sh + +echo "Someone wanted to invoke 'xpdf'. This invocation was captured by this dummy script:" +echo " '${0}'," +echo "which does nothing except printing this informational message." +echo "" +echo "There where '${#}' command line arguments passed. The complete command invoked was:" +echo -n " '${0}' " +while (( ${#} > 0 )); do + echo -n "'${1}' " + shift +done + +echo "" |