Files
Ryan Pachauri 12f16df5e3 Use /usr/bin/env for bash shebang.
Using env honors user preference if they override bash in $PATH or use a linux distribution that does not store bash at /bin/bash.

Addresses the following pull request:
- https://github.com/google-deepmind/alphafold/pull/913

PiperOrigin-RevId: 813843957
Change-Id: I2fa35a7ecec8a17472ad84d27e09b266952fd14d
2025-10-01 11:42:30 -07:00
..