Re: How to add dir to path

On Tue, Aug 07, 2007 at 22:21 +0200, Manon Metten wrote: On 8/7/07, P Kapat [EMAIL PROTECTED] wrote: I ain't got no /usr/share/doc/bash/examples dir. There's also no /usr/local/share/doc dir. Where do I get these examples? apt-get install bash-doc In general, for any package, pkg,

Re: How to add dir to path

Hi Wayne, I have never seen this way of defining a path [ PATH=~/XX:${PATH} ] These lines come from .bash_profile: # set PATH so it includes user's private bin if it exists if [ -d ~/bin ] ; then PATH=~/bin:${PATH} fi I learned PATH=a path:a new path everything inclosed in quotes. I

Re: How to add dir to path

Hi Wolodja, As a side note on documentation. You might find packages like dwww or dhelp useful. They provide a single entry point to access all installed documentation. Thanks! It's a very useful tip. Manon.

Re: How to add dir to path

Hi Andrei, On 8/10/07, Andrei Popescu [EMAIL PROTECTED] wrote: Just look at your .bash_profile: # ~/.bash_profile: executed by bash(1) for login shells. And in .bashrc I find: # ~/.bashrc: executed by bash(1) for non-login shells. So this is my conclusion: Whenever I open a new bash

Re: How to add dir to path

This is to the list this time, instead of a direct reply -- Sorry! Manon Metten [EMAIL PROTECTED] writes: 1. (*) text/plain ( ) text/html Hi Andrei, On 8/10/07, Andrei Popescu [EMAIL PROTECTED] wrote: Just look at your .bash_profile: # ~/.bash_profile:

Re: How to add dir to path

Hi Mike, On 8/10/07, Mike McCarty [EMAIL PROTECTED] wrote: Errr... She :-) Sorry 'bout that! Hard to see what you look like! Never heard of a guy named Manon, only of 'A Boy Named Sue'. But then again: What's in a name? :-) Abject apologies and all that. Also, that's a better quote

Re: How to add dir to path

Hi Wayne, On 8/9/07, Wayne Topa [EMAIL PROTECTED] wrote: OK I think I found the problem. Your path statement is incorrect. PATH=~/XX:${PATH} Try this SCRIPTS=/where/your/scripts/are PATH=$PATH:$SCRIPTS That ain't the solution either. I got exactly the same output. So I entered the line

Re: How to add dir to path

On 08/07/2007 10:32 AM, Manon Metten wrote: Hi, I want to add the dir ~/scripts to my path, what command do I use for that? M echo $PATH /usr/local/bin:/usr/bin:/bin:/usr/games But how do I add ~/scripts to that path? Thanks, Manon. I believe the correct way to do this is to set the path

Re: How to add dir to path

On Fri, 10 Aug 2007 12:45:40 -0500 Mumia W.. [EMAIL PROTECTED] wrote: On 08/07/2007 10:32 AM, Manon Metten wrote: Hi, I want to add the dir ~/scripts to my path, what command do I use for that? M echo $PATH /usr/local/bin:/usr/bin:/bin:/usr/games But how do I add ~/scripts to

Re: How to add dir to path

Hi Mumia, On 8/10/07, Mumia W.. [EMAIL PROTECTED] wrote: I want to add the dir ~/scripts to my path, what command do I use for that? M echo $PATH /usr/local/bin:/usr/bin:/bin:/usr/games But how do I add ~/scripts to that path? Thanks, Manon. I believe the correct way to do

Re: How to add dir to path

Hi Orestes, On 8/10/07, Orestes leal [EMAIL PROTECTED] wrote: I believe the correct way to do this is to set the path in ~/.bashrc. Set it like so: PATH=/usr/local/bin:/usr/bin:/bin:/usr/games:$HOME/scripts This works but, the ~/scripts dir appear for every user? because if

Re: How to add dir to path

On Fri, Aug 10, 2007 at 09:04:15PM +0200, Manon Metten wrote: I believe the correct way to do this is to set the path in ~/.bashrc. Set it like so: PATH=/usr/local/bin:/usr/bin:/bin:/usr/games:$HOME/scripts I've tried some of the other ways discussed in the thread, and they didn't

Re: How to add dir to path

Hi Andrei, It works as it should on my system: [EMAIL PROTECTED]:~$ grep Hello .bash* .bash_profile:echo Hello from bash_profile .bashrc:echo Hello from bashrc [EMAIL PROTECTED]:~$ bash Hello from bashrc [EMAIL PROTECTED]:~$ exit exit [EMAIL PROTECTED]:~$ bash --login Hello from bashrc

Re: How to add dir to path

Manon Metten([EMAIL PROTECTED]) is reported to have said: Hi Wayne, On 8/9/07, Wayne Topa [EMAIL PROTECTED] wrote: OK I think I found the problem. Your path statement is incorrect. PATH=~/XX:${PATH} Try this SCRIPTS=/where/your/scripts/are PATH=$PATH:$SCRIPTS That ain't

Re: How to add dir to path

Manon Metten([EMAIL PROTECTED]) is reported to have said: Hi Wayne, On 8/10/07, Wayne Topa [EMAIL PROTECTED] wrote: Are you doing all of this in KDE? If so I have no clue. I would suggest you go to a console VT and enter the path statements I showed. Then, if it doesn't work there,

Re: How to add dir to path

Hi Wayne, On 8/10/07, Wayne Topa [EMAIL PROTECTED] wrote: Are you doing all of this in KDE? If so I have no clue. I would suggest you go to a console VT and enter the path statements I showed. Then, if it doesn't work there, there is a real problem ... Yes, I was doing this in KDE. I

Re: How to add dir to path

On Aug 10, 2007, at 1:50 PM, Wayne Topa wrote: I have never seen this way of defining a path [ PATH=~/XX:${PATH} ] I learned PATH=a path:a new path everything inclosed in quotes. I think (?) i tried your way yesterday and got strange results but I deleted that test file so I've always

Re: How to add dir to path

Mumia W..([EMAIL PROTECTED]) is reported to have said: On 08/07/2007 10:32 AM, Manon Metten wrote: Hi, I want to add the dir ~/scripts to my path, what command do I use for that? M echo $PATH /usr/local/bin:/usr/bin:/bin:/usr/games But how do I add ~/scripts to that path? Thanks,

Re: How to add dir to path

On Fri, Aug 10, 2007 at 09:43:39PM +0200, Manon Metten wrote: So, from that, I conclude that it's default behavior that whenever I open a new session, only .bashrc is read. Just look at your .bash_profile: # ~/.bash_profile: executed by bash(1) for login shells. Regards, Andrei -- If you

Re: How to add dir to path

Nyizsnyik Ferenc wrote: On Wed, 8 Aug 2007 18:38:49 +0200 Manon Metten [EMAIL PROTECTED] wrote: Hi, This thread ain't over yet. Apart from using ~/bin (as Andrei Popescu suggested) I noticed that adding 'export PATH=$HOME/scripts:$PATH' to the end of ~/.bash_profile, the newly added

Re: How to add dir to path

Hi Wayne, On 8/8/07, Wayne Topa [EMAIL PROTECTED] wrote: Are you saying that you put the PATH in .bash_profile like PATH=./scripts:$PATH export PATH And doing . . .bash_profile does not make it availible when it finishes? If that is so, please post the contents of your .bash_profile.

Re: How to add dir to path

Manon Metten([EMAIL PROTECTED]) is reported to have said: Hi Wayne, On 8/8/07, Wayne Topa [EMAIL PROTECTED] wrote: Are you saying that you put the PATH in .bash_profile like PATH=./scripts:$PATH export PATH And doing . . .bash_profile does not make it availible when it

Re: How to add dir to path

Manon Metten wrote: Hi Mike, On 8/7/07, Mike McCarty [EMAIL PROTECTED] wrote: I do believe he's got it... almost. Errr... She :-) Sorry 'bout that! Hard to see what you look like! Abject apologies and all that. Also, that's a better quote (from My Fair Lady). If ENV_VAR is an

Re: How to add dir to path

# Sorry, I sent a mail directly to you. Andrei Popescu wrote: Instead of a ~/script dir I use a ~/bin dir and didn't need to change anything because ~/.bash_profile already contains: # set PATH so it includes user's private bin if it exists if [ -d ~/bin ] ; then PATH=~/bin:${PATH}

Re: How to add dir to path

On Wed, Aug 08, 2007 at 03:12:28PM +0900, Takehiko Abe wrote: # Sorry, I sent a mail directly to you. Andrei Popescu wrote: Instead of a ~/script dir I use a ~/bin dir and didn't need to change anything because ~/.bash_profile already contains: # set PATH so it includes user's private

Re: How to add dir to path

Andrei Popescu wrote: # ~/.bash_profile: executed by bash(1) for login shells. Set gnome-terminal to use a login shell. Doh! Thanks. -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]

Re: How to add dir to path

On Wed, Aug 08, 2007 at 08:45:30AM +0300, Andrei Popescu wrote: On Tue, Aug 07, 2007 at 05:32:49PM +0200, Manon Metten wrote: Hi, I want to add the dir ~/scripts to my path, what command do I use for that? M echo $PATH /usr/local/bin:/usr/bin:/bin:/usr/games But how do I add

Re: How to add dir to path

On Tue, Aug 07, 2007 at 11:54:52PM -0700, Andrew Sackville-West wrote: Instead of a ~/script dir I use a ~/bin dir and didn't need to change anything because ~/.bash_profile already contains: I have to relate my latest thing. i'm heading out for a three week trip and need to work on the

Re: How to add dir to path

Hi Andrew, On 8/8/07, Andrei Popescu [EMAIL PROTECTED] wrote: But how do I add ~/scripts to that path? I saw nobody in the thread suggested this: Instead of a ~/script dir I use a ~/bin dir and didn't need to change anything because ~/.bash_profile already contains: Thanks for the tip.

Re: How to add dir to path

On Wed, Aug 08, 2007 at 06:44:07PM +0300, Andrei Popescu wrote: On Tue, Aug 07, 2007 at 11:54:52PM -0700, Andrew Sackville-West wrote: Instead of a ~/script dir I use a ~/bin dir and didn't need to change anything because ~/.bash_profile already contains: I have to relate my latest

Re: How to add dir to path

Hi, This thread ain't over yet. Apart from using ~/bin (as Andrei Popescu suggested) I noticed that adding 'export PATH=$HOME/scripts:$PATH' to the end of ~/.bash_profile, the newly added dir is not available in any new session I open. However, when I open a new bash window, the new dir is

Re: How to add dir to path

On Wed, 8 Aug 2007 18:38:49 +0200 Manon Metten [EMAIL PROTECTED] wrote: Hi, This thread ain't over yet. Apart from using ~/bin (as Andrei Popescu suggested) I noticed that adding 'export PATH=$HOME/scripts:$PATH' to the end of ~/.bash_profile, the newly added dir is not available in any

Re: How to add dir to path

Hi Nyizsnyik, On 8/8/07, Nyizsnyik Ferenc [EMAIL PROTECTED] wrote: Adding $HOME to /etc/profile should not work the way you want it to. These settings are global, consider them as executed by root, so in this case $HOME will resolve as /root, not /home/manon as you may have expected.

Re: How to add dir to path

Manon Metten([EMAIL PROTECTED]) is reported to have said: Hi, This thread ain't over yet. Apart from using ~/bin (as Andrei Popescu suggested) I noticed that adding 'export PATH=$HOME/scripts:$PATH' to the end of ~/.bash_profile, the newly added dir is not available in any new session I

Re: How to add dir to path

On Wed, Aug 08, 2007 at 07:06:25PM +0200, Manon Metten wrote: Hi Nyizsnyik, On 8/8/07, Nyizsnyik Ferenc [EMAIL PROTECTED] wrote: Adding $HOME to /etc/profile should not work the way you want it to. These settings are global, consider them as executed by root, so in this case $HOME will

Re: How to add dir to path

Hi Wayne, On 8/8/07, Wayne Topa [EMAIL PROTECTED] wrote: Any changes made to .bash_profile or .bashrc require a restart of that file. If you have at the end of the .bash_profile, the command . .bashrc Then after editing either one, you do . .bash_profile ( which is the same as logging

Re: How to add dir to path

Hi Andrew, On 8/8/07, Andrew Sackville-West [EMAIL PROTECTED] wrote: if you haven't yet, you would be well served to read man bash. As I already said (Quote: I first have to work my way to 'man bash' ), I surely will. It is an excellent resource, and you'll learn bash scripting at the same

Re: How to add dir to path

Manon Metten([EMAIL PROTECTED]) is reported to have said: Hi Wayne, On 8/8/07, Wayne Topa [EMAIL PROTECTED] wrote: --snip-- Executing . .bash_profile makes no difference. The new dir won't show up in another session, only if I open a new bash window, but never in a new session. The

Re: How to add dir to path

Hi Wayne, Pretty straightforward your PS1 example. That's one bridge too far for me now, as I'm only for about one year on Debian. I simply use PS1='M ' for user and PS1='R ' for root :-) For me, the rest is redundant info, which only distracts me. Isn't Debian (Linux) fun! Yes, it is.

Re: How to add dir to path

Manon Metten([EMAIL PROTECTED]) is reported to have said: Hi Wayne, On 8/8/07, Wayne Topa [EMAIL PROTECTED] wrote: Any changes made to .bash_profile or .bashrc require a restart of that file. If you have at the end of the .bash_profile, the command . .bashrc Then after editing

Re: How to add dir to path

Hi, Here is how my path is set. I use zsh. --8---cut here---start-8--- ## What directories should we be looking for? COMMON_SYS_DIRS=(/bin /usr/bin /sbin /usr/sbin /usr/local/sbin /usr/games) case $MY_SYS_TYPE in hppa1.1-hp-hpux*)

How to add dir to path

Hi, I want to add the dir ~/scripts to my path, what command do I use for that? M echo $PATH /usr/local/bin:/usr/bin:/bin:/usr/games But how do I add ~/scripts to that path? Thanks, Manon.

Re: How to add dir to path

Manon Metten wrote: Hi, I want to add the dir ~/scripts to my path, what command do I use for that? M echo $PATH /usr/local/bin:/usr/bin:/bin:/usr/games But how do I add ~/scripts to that path? Do something like this $ export PATH=~/scripts:$PATH If you put it into the appropriate startup

Re: How to add dir to path

Hi Mike, On 8/7/07, Mike McCarty [EMAIL PROTECTED] wrote: Do something like this $ export PATH=~/scripts:$PATH If you put it into the appropriate startup script it will get done every time. I was looking for some kind of 'path' command but could not find anything alike. I didn't know of

Re: How to add dir to path

On Tue, 7 Aug 2007 18:24:08 +0200 Manon Metten [EMAIL PROTECTED] wrote: Hi Mike, On 8/7/07, Mike McCarty [EMAIL PROTECTED] wrote: Do something like this $ export PATH=~/scripts:$PATH If you put it into the appropriate startup script it will get done every time. I was

Re: How to add dir to path

On Tue, Aug 07, 2007 at 06:24:08PM +0200, Manon Metten wrote: Hi Mike, On 8/7/07, Mike McCarty [EMAIL PROTECTED] wrote: Do something like this $ export PATH=~/scripts:$PATH If you put it into the appropriate startup script it will get done every time. I was looking for some

Re: How to add dir to path

Hi Nyizsnyik, On 8/7/07, Nyizsnyik Ferenc [EMAIL PROTECTED] wrote: I would rather you checked your ~/.bash_profile file. What's the reason I shouldn't touch /etc/profile but use ~/.bash_profile instead? Manon.

Re: How to add dir to path

On Tue, 7 Aug 2007, Manon Metten wrote: What's the reason I shouldn't touch /etc/profile but use ~/.bash_profile instead? A study of tutorial on Unix/Linux will take you a long way. HTH, -ishwar -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of unsubscribe. Trouble?

Re: How to add dir to path

Hi Andrew, On 8/7/07, Andrew Sackville-West [EMAIL PROTECTED] wrote: $PATH is an environment variable like any other and gets assigned a value in the same way as any other. export is used to make a variable available to other processes that come after the one spawned by the assignment

Re: How to add dir to path

On 8/7/07, Manon Metten [EMAIL PROTECTED] wrote: [..snip..] If I want an environment variable available all the time, I should place it in either /etc/profile or ~/.bash_profile, right? Yes. Preferably ~/.bash_profile and export it. -- Regards PK --

Re: How to add dir to path

On 8/7/07, Manon Metten [EMAIL PROTECTED] wrote: What's the reason I shouldn't touch /etc/profile but use ~/.bash_profile instead? For the simple reason that you wouldn't want (or prefer) to mess with the system's defaults unless otherwise forced to. Moreover, think of a machine where you do

Re: How to add dir to path

On Aug 7, 2007, at 11:02 AM, Manon Metten wrote: Hi Nyizsnyik, On 8/7/07, Nyizsnyik Ferenc [EMAIL PROTECTED] wrote: I would rather you checked your ~/.bash_profile file. What's the reason I shouldn't touch /etc/profile but use ~/.bash_profile instead? They do the same thing, but for

Re: How to add dir to path

Hi PK, On 8/7/07, P Kapat [EMAIL PROTECTED] wrote: What's the reason I shouldn't touch /etc/profile but use ~/.bash_profile instead? For the simple reason that you wouldn't want (or prefer) to mess with the system's defaults unless otherwise forced to. Moreover, think of a machine where

Re: How to add dir to path

Hi David, On 8/7/07, David Brodbeck [EMAIL PROTECTED] wrote: What's the reason I shouldn't touch /etc/profile but use ~/.bash_profile instead? They do the same thing, but for different scopes. /etc/profile affects every account on the system. ~/.bash_profile only affects your own. On a

Re: How to add dir to path

Hello Mannon, On 8/7/07, Manon Metten [EMAIL PROTECTED] wrote: Hi PK, On 8/7/07, P Kapat [EMAIL PROTECTED] wrote: [...snip...] For more on bash startup see /usr/share/doc/bash/examples/startup-files for examples. I ain't got no /usr/share/doc/bash/examples dir. There's also no

Re: How to add dir to path

Hi PK, On 8/7/07, P Kapat [EMAIL PROTECTED] wrote: I ain't got no /usr/share/doc/bash/examples dir. There's also no /usr/local/share/doc dir. Where do I get these examples? apt-get install bash-doc In general, for any package, pkg, pkg-doc is a good source of help and examples. Waw,

Re: How to add dir to path

Manon Metten wrote: Hi Mike, On 8/7/07, Mike McCarty [EMAIL PROTECTED] wrote: Do something like this $ export PATH=~/scripts:$PATH If you put it into the appropriate startup script it will get done every time. I was looking for some kind of 'path' command but could not find anything

Re: How to add dir to path

Manon Metten wrote: Thanks for explaining. So I understand that export PATH=~/scripts:$PATH concatenates ~/scripts and $PATH and sets the result to be the new $PATH. I do believe he's got it... almost. If ENV_VAR is an environment variable, then the shell interprets $ENV_VAR as a request to

Re: How to add dir to path

Hi Mike, On 8/7/07, Mike McCarty [EMAIL PROTECTED] wrote: $ export PATH=~/scripts:$PATH SNIP Well, I combined two commands into one. $ x=y sets an environment variable x to value y. $ export x makes x available to all subprocesses in the tree which get created after the export. $

Re: How to add dir to path

Hi Mike, On 8/7/07, Mike McCarty [EMAIL PROTECTED] wrote: I do believe he's got it... almost. Errr... She :-) If ENV_VAR is an environment variable, then the shell interprets $ENV_VAR as a request to remove $ENV_VAR from the command, and replace it with the value of ENV_VAR. So... $

Re: How to add dir to path

On Tue, Aug 07, 2007 at 11:12:43PM +0200, Manon Metten wrote: Hi Mike, On 8/7/07, Mike McCarty [EMAIL PROTECTED] wrote: I do believe he's got it... almost. Errr... She :-) heh heh. This is confusing me. I understand that if ENV_VAR is an environment variable than $ENV_VAR

Re: How to add dir to path

On Tue, Aug 07, 2007 at 05:32:49PM +0200, Manon Metten wrote: Hi, I want to add the dir ~/scripts to my path, what command do I use for that? M echo $PATH /usr/local/bin:/usr/bin:/bin:/usr/games But how do I add ~/scripts to that path? I saw nobody in the thread suggested this: