From 7824cbd7d1b408c3429a60ca52df80178c160e85 Mon Sep 17 00:00:00 2001
From: DarkWiiPlayer <darkwiiplayer@hotmail.com>
Date: Thu, 29 Nov 2018 08:54:00 +0100
Subject: [PATCH] Improve scratch script

It now execs bash, so the process chain doesn't get needlessly long with
nested calls to the script.
---
 bin/scratch | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/bin/scratch b/bin/scratch
index 567027b..c226c7c 100755
--- 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")