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
-
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