bin/*: Prefix wrapper scripts with "s", no ".sh" suffix anymore.

diff --git a/bin/README b/bin/README
index eabdb48be68e99e51129880bada13817e97dde12..41e9da154aefface15b0415d99f23d32c9f42bd8 100644 (file)
--- a/bin/README
+++ b/bin/README
@@ -1,6 +1,7 @@
 README
 ======
 
-Contains shell related programs useful on all computers.
+Contains shell related programs useful on all computers. Wrapper scripts are
+prefixed with "s".
 
 Available through a symbolic link in shell: ~/.shell/bin/

diff --git a/bin/valgrind.sh b/bin/svalgrind
similarity index 100%
rename from bin/valgrind.sh
rename to bin/svalgrind

diff --git a/bin/valgrind-ptr.sh b/bin/svalgrind-ptr
similarity index 100%
rename from bin/valgrind-ptr.sh
rename to bin/svalgrind-ptr