User: Password:
|
|
Subscribe / Log in / New account

Saving your $HOME space

Saving your $HOME space

Posted Jan 9, 2009 4:30 UTC (Fri) by k8to (subscriber, #15413)
In reply to: Saving your $HOME space by eru
Parent article: BleachBit: Does GNU/Linux need the equivalent of a Windows registry cleaner?

There should be a per-user tmp, and the global tmp should be rarely, if ever, used.

I have no idea why we ever had a global tmp for most purposes. Laziness, I suppose.


(Log in to post comments)

Saving your $HOME space

Posted Jan 10, 2009 14:09 UTC (Sat) by epa (subscriber, #39769) [Link]

Yes, given the ridiculous frequency of /tmp-race security holes, and the negligable performance difference for most apps, $HOME/tmp should be the default. It can be a symlink to /tmp/me for people who still insist on a separate /tmp partition for whatever reason.

Saving your $HOME space

Posted Jan 10, 2009 14:45 UTC (Sat) by nix (subscriber, #2304) [Link]

You want pam_mount and a user-specific directory, really. You can still
*mount* it on /tmp...

Saving your $HOME space

Posted Feb 16, 2009 22:06 UTC (Mon) by k8to (subscriber, #15413) [Link]

For tradition, at least, /tmp should be global. I don't watnt to break any programs that rely on existing functionality. At least, that's how I'd do it on my systems.


Copyright © 2018, Eklektix, Inc.
Comments and public postings are copyrighted by their creators.
Linux is a registered trademark of Linus Torvalds