Clean up install.sh
Redirect edited user-env file to install path instead of edit in place. Edit in place in sed has different behavior on UNIX and BSD
Remove trailing forward-slash from install path (e.g., in case user tab-completed that path)
Maintenance will be performed on git.ligo.org, containers.ligo.org, and docs.ligo.org on Tuesday 23 April 2024 starting at approximately 9am PDT. It is expected to take around twenty minutes and there will be several periods of downtime throughout the maintenance. Please address any comments, concerns, or questions to the helpdesk.
Redirect edited user-env file to install path instead of edit in place. Edit in place in sed has different behavior on UNIX and BSD
Remove trailing forward-slash from install path (e.g., in case user tab-completed that path)