https://pantsbuild.org/ logo
#development
Title
# development
h

hundreds-breakfast-49010

12/30/2019, 10:44 PM
@hundreds-father-404 I didn't have to restart my machine to fix this, I just deleted the process-execution-* and other tmp* files out of /tmp
h

hundreds-father-404

12/30/2019, 10:45 PM
Do you know if restarting your machine has the same effect of wiping
/tmp
? If so, restarting your machine is just a much less efficient way to do this
h

hundreds-breakfast-49010

12/30/2019, 10:46 PM
yeah in linux the
/tmp
filesystem is usually an in-memory filesystem that goes away automatically and is re-created when you reboot