From 25806d425ebf6fcc217278fe82425ea64642b882 Mon Sep 17 00:00:00 2001
From: Nico Schottelius <nico@kr.ethz.ch>
Date: Sun, 19 Sep 2010 14:13:43 +0200
Subject: [PATCH] some shell hints

Signed-off-by: Nico Schottelius <nico@kr.ethz.ch>
---
 doc/dev/shell-hints | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 doc/dev/shell-hints

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.