diff --git a/doc/dev/shell-hints b/doc/dev/shell-hints new file mode 100644 index 00000000..0ad888d6 --- /dev/null +++ b/doc/dev/shell-hints @@ -0,0 +1 @@ +$0 evaluated in a sourced script returns name of the caller.