惯性聚合 高效追踪和阅读你感兴趣的博客、新闻、科技资讯
阅读原文 在惯性聚合中打开

推荐订阅源

Google DeepMind News
Google DeepMind News
I
InfoQ
Engineering at Meta
Engineering at Meta
D
DataBreaches.Net
L
LangChain Blog
Cyber Security Advisories - MS-ISAC
Cyber Security Advisories - MS-ISAC
奇客Solidot–传递最新科技情报
奇客Solidot–传递最新科技情报
Recent Announcements
Recent Announcements
GbyAI
GbyAI
爱范儿
爱范儿
Microsoft Security Blog
Microsoft Security Blog
腾讯CDC
美团技术团队
罗磊的独立博客
Microsoft Azure Blog
Microsoft Azure Blog
WordPress大学
WordPress大学
T
The Blog of Author Tim Ferriss
freeCodeCamp Programming Tutorials: Python, JavaScript, Git & More
雷峰网
雷峰网
M
MIT News - Artificial intelligence
D
Docker
MongoDB | Blog
MongoDB | Blog
F
Fortinet All Blogs
博客园 - 叶小钗

jdhao's digital space

Conversion between base64 and OpenCV or PIL Image 腾讯云对象存储博客图床开启 CDN 加速(不需要购买额外域名) Search and Replace in Multiple Files in Vim/Neovim Change Table Column Width in LaTeX Image or Table Side by Side in LaTeX LaTeX 并排显示图像或表格 Firenvim: Neovim inside Your Browser Content inside HTML tags missing in Latest Hugo? Creating Markdown Front Matter with Ultisnips Labelme JSON 标注格式转 voc XML 格式 Nifty Nvim Techniques That Make My Life Easier -- Series 6 macOS 下如何为视频制作字幕 Running Command Asynchronously inside Neovim Resolving Merge Conflict after Git Stash Pop Pylint: command not found? A Hands-on Experience with Neovim's Built-in LSP Support How to Convert PDF to Images with Imagemagick 互联网上常用缩略语集锦 File Backup in Neovim Converting PDF Pages to Images with Poppler Nifty Nvim Techniques That Make My Life Easier -- Series 5 Neovim Configuration for System-wide Use How to sort a list of tuple or list in Python -- lambda or itemgetter? Building A Vim Statusline from Scratch 人类第一颗原子弹爆炸始末 Distributed Training in PyTorch with Horovod Learning Expect Programming Essential Knowledge about SSH Nifty LaTeX Techniques -- Series 1 更改 Adsense 邮寄地址,重新寄送 PIN
Why don't settings inside bashrc or bash_profile take eff...
2019-09-29 · via jdhao's digital space

In this post, I would like to share causes and solutions to a few issues related to login shell.

How to change default shell to Bash#

When I logged into a new server, I found that somehow my default shell (echo $SHELL) is /bin/sh instead of /bin/bash. We can change the default shell with chsh command like this:

Make sure that the shell you want to switch are set in /etc/shells. Otherwise you will fail.

Settings in bashrc or bash_profile do not take effect after login#

Another issue is that when I sshed to the server, I found that only settings inside .bash_profile is sourced. Settings inside .bashrc didn’t take effect. Before we delve into this problem, we first need to understand the basic concept of a login shell and an interactive shell.

Login and interactive shell#

login shell#

A login shell is usually the shell when the user first log in to the system. If the user start another shell or use bash inside the current shell, then the user will probably start a non-login shell1. To check whether the bash shell is a login shell, use the following command:

# only works for bash
shopt -q login_shell && echo 'Login shell' || echo 'Not login shell'

Interactive shell#

Roughly speaking, an interactive shell is a shell that the user can interact with via the terminal, i.e., typing a command, sending it to the shell and getting output. If you run a script test.sh inside the shell by using bash test.sh, what actually happens is that a non-interactive bash shell is started to execute the commands inside test.sh. Now, you get a sense of what interactive means. To check if a bash shell is interactive, you can see if i is present in the variable $-:

echo $-
# output may be: himBHs

Different types of shell#

According to the above statements, we now have four different types of a shell:

  • interactive login shell
  • interactive non-login shell
  • non-interactive login shell
  • non-interactive non-login shell

In the following table, I show how you can get these shells:

interactivenon-interactive
loginwhen you log into a server normallyssh xxx@ip < test.sh
non-loginstart a new bash shell inside the login shellwhen you execute script inside the login shell

Non-interactive login shell is extremely rare. You can start one when you run a local script via ssh on remote.:

To verify that we have started a non-interactive login shell, put the following the command inside test.sh:

echo $-
shopt -q login_shell && echo 'Login shell' || echo 'Not login shell'

The output of remote server will be:

Why isn’t .bashrc sourced?#

After looking up the bash manual, the section on startup file explains this behaviour:

When Bash is invoked as an interactive login shell, or as a non-interactive shell with the –login option, it first reads and executes commands from the file /etc/profile, if that file exists. After reading that file, it looks for ~/.bash_profile, ~/.bash_login, and ~/.profile, in that order, and reads and executes commands from the first one that exists and is readable. The –noprofile option may be used when the shell is started to inhibit this behavior.

According to the above description, when you log into the server (bash is interactive login shell), bash will first source /etc/profile, then it will source ~/.bash_profile, ~/.bash_login and ~/.profile in the order given. The first one that exists and is readable is sourced. So ~/.bashrc is not sourced during the login process.

If you need to source .bashrc during login process, you can add the following setting to .bash_profile:

if [[ -f "$HOME/.bashrc" ]]; then
    source $HOME/.bashrc
fi

Why isn’t .bash_profile sourced?#

Another strange case I met with a new server is that ~/.bash_profile is not executed during login. A little background here: for this destination server, I need to log into a jump server, and choose the destination server. All users are initially logged in to the destination server with the same user name. Then each user will have to switch to his/her own account via su command: su REAL_USERNAME.

That is cause of the problem. The shell started by mere su REAL_USERNAME is an interactive non-login shell. The bash manual also says that:

When an interactive shell that is not a login shell is started, Bash reads and executes commands from ~/.bashrc, if that file exists. This may be inhibited by using the –norc option. The –rcfile file option will force Bash to read and execute commands from file instead of ~/.bashrc.

It means that only settings inside $HOME/.bashrc is sourced. The solution to this issue is simple: invoke su command with - or -l option to tell Bash that we want a login shell instead of a non-login shell.

What gets sourced when we run a non-interactive non-login shell?#

The Bash manual says that for a non-interactive shell, it has the following behavior:

When bash is started non-interactively, to run a shell script, for example, it looks for the variable BASH_ENV
in  the  environment, expands its value if it appears there, and uses the expanded value as the name of a file
to read and execute.  Bash behaves as if the following command were executed:
       if [ -n "$BASH_ENV" ]; then . "$BASH_ENV"; fi
but the value of the PATH variable is not used to search for the filename.

So only the file represented by BASH_ENV is sourced when a non-interactive shell is started.

References#