rendered paste bodyJasper@laptop:~/maple11/bin> set -x
++ ppwd 1
++ local _t=1 _w _x _u=Jasper _h=laptop
++ test -n 1
++ test 1 = 1
++ _t=pts/1
++ test -O /dev/pts/1
+++ dirs +0
++ _w='~/maple11/bin'
++ _x=-5
++ test 13 -le 18
++ printf '\e]2;%s@%s:%s\007\e]1;%s\007' Jasper laptop '~/maple11/bin' laptop
Jasper@laptop:~/maple11/bin> ./activation
+ ./activation
++ ppwd 1
++ local _t=1 _w _x _u=Jasper _h=laptop
++ test -n 1
++ test 1 = 1
++ _t=pts/1
++ test -O /dev/pts/1
+++ dirs +0
++ _w='~/maple11/bin'
++ _x=-5
++ test 13 -le 18
++ printf '\e]2;%s@%s:%s\007\e]1;%s\007' Jasper laptop '~/maple11/bin' laptop
Jasper@laptop:~/maple11/bin>