mirror of
https://github.com/brl/mutter.git
synced 2025-02-19 14:44:10 +00:00

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.