mirror of
https://github.com/brl/mutter.git
synced 2025-02-08 17:44:09 +00:00
![Ting-Wei Lan](/assets/img/avatar_default.png)
Bash is not always installed in /bin and we should not hardcode the path of it in source code which is expected to be built on many operating systems and distributions. Since most scripts using #!/bin/bash here doesn't have any bashism, they can be converted to #!/bin/sh instead of using /usr/bin/env trick.