Commits

Stephen Weeks  committed dd7a31d

made the ocamlspot error log be per-user

  • Participants
  • Parent commits 96202ca

Comments (0)

Files changed (1)

File bin/ocamlspot

 
 set -e -u -o pipefail
 
-log=/tmp/z.ocamlspot.log
+log=/tmp/z.ocamlspot.$(whoami).log
 
 dir=$(pwd)
 args="$@"