Re: Change to /etc/profile (Attn: base-files maintainer)

2005-04-01 Thread John Morrison
On Fri, April 1, 2005 5:06 pm, Igor Pechtchanski said: > On Fri, 1 Apr 2005, Webb Roberts wrote: > >> I would suggest a small change to /etc/profile. >> >> /etc/profile is being run by bash, which has pretty substantial filename >> expansion. For example, >

Re: Change to /etc/profile (Attn: base-files maintainer)

2005-04-01 Thread Igor Pechtchanski
On Fri, 1 Apr 2005, Webb Roberts wrote: > I would suggest a small change to /etc/profile. > > /etc/profile is being run by bash, which has pretty substantial filename > expansion. For example, > > echo [a-z]ib > > Will respond 'lib' if there is a lib direc

Change to /etc/profile

2005-04-01 Thread Webb Roberts
I would suggest a small change to /etc/profile. /etc/profile is being run by bash, which has pretty substantial filename expansion. For example, echo [a-z]ib Will respond 'lib' if there is a lib directory. In /etc/profile, there is a tr command: /usr/bin/tr [:upper

RE: Request for change to /etc/profile

2004-09-22 Thread Larry Hall
At 05:28 AM 9/22/2004, you wrote: >Hi, > >I've got a sort-of-related issue with the location of the home directory. > >On my work laptop, my home directory is on a network share (mapped as a H: >drive) and "My Documents" is on their too. This is made available offline using >the ... "Make Available

RE: Request for change to /etc/profile

2004-09-22 Thread robin-lists
his could be fixed? Thanks, R. -- http://robinbowes.com > -Original Message- > From: [EMAIL PROTECTED] > [mailto:[EMAIL PROTECTED] On Behalf Of > [EMAIL PROTECTED] > Sent: 22 September 2004 08:31 > To: [EMAIL PROTECTED] > Subject: Re: Request for change to /etc

Re: Request for change to /etc/profile

2004-09-22 Thread luke . kendall
On 21 Sep, CyberZombie wrote: > Or 'mkdir -p "$HOME"'... No, that would do entirely the wrong thing! If the place where /home is supposed to be mounted hasn't been mounted, the last thing you want to do is create an alternate /home. I can imagine the weird problems and reports ("all my files di

Re: Request for change to /etc/profile

2004-09-21 Thread CyberZombie
Or 'mkdir -p "$HOME"'... [EMAIL PROTECTED] wrote: Could /etc/profile please get a small change? Could it check that mkdir $HOME works? Our situation is that for laptops, the /home area exists on a PGP mounted disc. But if a user isn't logged in, then this area doesn't exist, and you can't mount a

Request for change to /etc/profile

2004-09-21 Thread luke . kendall
Could /etc/profile please get a small change? Could it check that mkdir $HOME works? Our situation is that for laptops, the /home area exists on a PGP mounted disc. But if a user isn't logged in, then this area doesn't exist, and you can't mount any home drives. So if you slogin to the machine,