On 7/30/18 6:13 PM, Adam Weinberger wrote: > This should probably be done with shebangfix as well. Either way, it > should be modified before it's installed, not afterwards. They use some tag, like @@BASH@@, in the source, so shebang wouldn't work. I looked into this, of course. Yuri