Anton (Sep 25 2023 at 09:01): Anton (Sep 25 2023 at 09:01):I was thinking about how to implement the roc upgrade/update/... command and I think it would be good to create a roc install script that installs to something like ~/.roc/cli/nightly-25-09-23. We could then use a symbolic link to switch versions when doing an upgrade. With the current export PATH=$PATH:~/path/to/roc approach it's hard to upgrade while keeping older versions around.
Hannes (Sep 25 2023 at 23:16):I would recommend using the Free desktop spec for the install path. Probably installing to somewhere in $XDG_DATA_HOME, which defaults to $HOME/.local/share on Linux.
Richard Feldman (Sep 25 2023 at 23:20):yeah we already do that for where we install roc packages
Last updated: Jun 16 2026 at 16:19 UTC