Hi folks. This has been bothering me for a while.

Among the 8 virtual desktops I'm using, I have 18 terminals open right now.

I change some of my user configuration (e.g. put a new alias into ~/.bashrc); but in order to use this new added alias, I have to source the config file:

. ~/.bashrc

echo Hello > /dev/pts/15

$ echo . ~/.basrhc | /dev/pts/15
bash: /dev/pts/15: Permission denied
bash: echo: write error: Broken pipe

It seems that every shell you run is a login shell. Bash reads and executes the ~/.bashrc file only if it is started as an interactive, but not login shell. When Bash starts as an interactive login shell, it reads and executes the ~/.bash_profile file. What you could do is to source the ~/.bashrc file from the ~/.bash_profile file. Something like this:

# .bash_profile
# sourcing .bashrc:

. ~/.bashrc

this way every interactive shell you start will read and execute the ~/.bashrc file, be it a loging shell or not.

Thanks for the response.
But that is not my problem. I'd like to source the config file (.bashrc, .bash_profile, .myConfigFile, etc.) across all terminals that are already running. So that I don't have to close them, and restart (and lose history, kill programs tied to them etc.)

To my knowledge you'll have to manually source the rc file in each running instance of the shell.

If you want to be clever, and anticipate doing this often enough, you could put the following command into your .bashrc file:

trap ". $HOME/.bashrc" 16

Thanks agama,

That's a slick solution there with SIGUSR1, that can be certainly put to use.

I also have had the feeling it cannot be done straightforward.