按照惯例(以及很多写脚本的规范),标记为“#!/bin/sh”的脚本不应使用任何 POSIX 没有规定的特性(使用 bash 特性的脚本要使用“#!/bin/bash”),所以在理论上,这样应该没有任何副作用。但是现实中,Linux 下的很多(不规范的)脚本有所谓 bashism,却在文件头标记为“#!/bin/sh”。有人把脚本失败归咎于 Ubuntu 而不是自己的脚本,这是不公平的。
刚才在 Debian (testing)下尝试用 dash 作为 /bin/sh,并重启了一下系统,好像快了那么一点点(心理作用?)不过我想它节约的那点时间也许比挂载我的两个 reiserfs 分区用的时间还要少……
遇到的问题:自己的两个脚本挂了,把“#!/bin/sh”改为“#!/bin/bash”;自己的一个带 bashism 的 Makefile 挂了,加上“SHELL=/bin/bash”。
在 Debian 下,先安装软件包 dash,然后 dpkg-reconfigure dash,回答 Yes 即可。
在 Ubuntu 下这已经是默认,如果因为某些原因需要改回到 bash,也是用 dpkg-reconfigure dash。