>
> What is ${HOME} in this case ? shouldn't be
> /a/brugere/FILESERVER/raid/gondor/user/ ?
> Why is not grep returning anything ?
$HOME is /home/user
/home/user is symlinked to /a/brugere/FILESERVER/raid/gondor/user/
(making it easy to switch filserver)
so since /home/user is nowhere to be found in
/a/brugere/FILESERVER/raid/gondor/user/ 'grep $HOME' results in nothing.
the 'gondor' part is not the same for all users, it's the name of the
partition.
> ${USER} can identify more than one line, whereas ${HOME} should
> uniquely identify just the entries pertaining to one particular user
> (except when you homedirs are nested or shared). Think that you have
> user 'john' and user 'johnson', if the first one logs out, all drivers
> of the second one get unmonted.
> Can you give more details about your setup and expecially what is
> the value of ${HOME} for an user.
>
Oops you're right, hmm, I'll figure something out for our installation.
But I still think this might be an issue that needs mentioning on the
wiki.
/daleif
``You cannot help men permanently by doing for them
what they could and should do for themselves. ''
-- Abraham Lincoln
-------------------------------------------------------------------------
Using Tomcat but need to do more? Need to support web services, security?
Get stuff done quickly with pre-integrated technology to make your job easier
Download IBM WebSphere Application Server v.1.0.1 based on Apache Geronimo
http://sel.as-us.falkag.net/sel?cmd=lnk&kid=120709&bid=263057&dat=121642
_____________________________________________________________________
Ltsp-discuss mailing list. To un-subscribe, or change prefs, goto:
https://lists.sourceforge.net/lists/listinfo/ltsp-discuss
For additional LTSP help, try #ltsp channel on irc.freenode.net
