install.sh: prefer placing shellenv command in rcfile rather than shell profile on Linux
#2101
The logs for this run have expired and are no longer available.
Loading