You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Problem: users will often run the install script and end up with stack in /usr/local/bin, and when they run stack upgrade, are surprised that the next stack call still uses the old version. To mitigate this, @borsboom and I propose:
stack upgrade continues to copy the executable to ~/.local/bin as it has until now
If the current Stack executable is running from there: we're done. Otherwise: continue.
Attempt to copy the stack executable to the location of the current executables.
If that fails with a permission denied error:
Explain the situation to the user, and recommend copying from source file path to dest file path
Ask if the user wants us to try to use sudo to perform the copy (and explain that it may fail due to OS specific things)
If the user says yes, try running sudo cp ..., and potentially similar commands with su.
Presumably we won't even bother trying this on Windows.
The text was updated successfully, but these errors were encountered:
Problem: users will often run the install script and end up with
stack
in/usr/local/bin
, and when they runstack upgrade
, are surprised that the nextstack
call still uses the old version. To mitigate this, @borsboom and I propose:stack upgrade
continues to copy the executable to~/.local/bin
as it has until nowstack
executable to the location of the current executables.source file path
todest file path
sudo
to perform the copy (and explain that it may fail due to OS specific things)sudo cp ...
, and potentially similar commands withsu
.Presumably we won't even bother trying this on Windows.
The text was updated successfully, but these errors were encountered: