Replies: 2 comments 1 reply
-
Because we expect the user to create those, we decided to go with $HOME, because if it changes per OS or per config, as the |
Beta Was this translation helpful? Give feedback.
0 replies
-
Could its location at least be controlled by an ENV variable for those of us that strictly manage $HOME contents? |
Beta Was this translation helpful? Give feedback.
1 reply
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Uh oh!
There was an error while loading. Please reload this page.
-
Currently
livebookdesktop.sh
is placed directly in$HOME
which is not ideal. It'd be nicer to use$XDG_CONFIG_HOME
, or$HOME/.config/livebook/...
, or failing those$HOME/...
could be a last resort. If placed in.config/livebook
then the standard is to not make dotfiles in the.config
directory e.g.$HOME/.config/livebook/desktop.sh
Beta Was this translation helpful? Give feedback.
All reactions