Skip to content

Conversation

@Jakio815
Copy link
Contributor

@Jakio815 Jakio815 commented Dec 18, 2025

The script installs the temporary file inside /tmp, which is not accessible for users in multi-user servers without sudo.

I updated it to create the .tmp folder in their own $HOME.

This does not fix the default installation location, which is ~/.local/bin

@Jakio815
Copy link
Contributor Author

@lhstrh Not sure if you are still maintaining this...

Copy link
Contributor

@edwardalee edwardalee left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This looks reasonable to me.

@Jakio815
Copy link
Contributor Author

@edwardalee Can we merge this?

@edwardalee edwardalee merged commit 1879b71 into lf-lang:main Dec 25, 2025
2 checks passed
@Jakio815 Jakio815 deleted the patch-1 branch December 25, 2025 00:51
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants