Skip to content
BLOG.JUNGWON.KIM
Menu
How to change default /tmp to /home/user/tmp
echo $TMPDIR
How to change default /tmp to /home/user/tmp
←
Worksharing Using OpenMP
rm all files except
→