darkwiiplayer/darkrc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

Fix scratch bash script

Browse source
This commit is contained in:
Talia 2019-09-18 14:31:20 +02:00
parent 89a191969f
commit fee1f0601a
1 changed files with 5 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
bin/scratch
View file

@ -1,9 +1,11 @@
#!/bin/bash #!/bin/bash
export scratch=$(mktemp -p /dev/shm -d -t tmp.XXXXXXXXXX) export scratch=$(mktemp -p /dev/shm -d -t tmp.XXXXXXXXXX)
function finish { function finish {
echo "Deleting $scratch..."
rm -rf "$scratch" rm -rf "$scratch"
} }
trap finish EXIT trap finish EXIT
trap finish TERM trap finish SIGTERM
exec bash --init-file <(echo "source ~/.bashrc; pushd $scratch > /dev/null")
bash --init-file <(echo "source ~/.bashrc; pushd $scratch > /dev/null")