Improve scratch script

It now execs bash, so the process chain doesn't get needlessly long with nested calls to the script.
2018-11-29 08:54:00 +01:00 · 2018-11-29 08:54:00 +01:00 · 7824cbd7d1
parent 928694ebd1
commit 7824cbd7d1
1 changed files with 1 additions and 1 deletions
--- a/bin/scratch
+++ b/bin/scratch
@ -6,4 +6,4 @@ function finish {
 }
 trap finish EXIT
 trap finish TERM
-bash --init-file <(echo "source ~/.bashrc; pushd $scratch > /dev/null")
+exec bash --init-file <(echo "source ~/.bashrc; pushd $scratch > /dev/null")