Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

create bootstrap guide for direnv setup #39

Closed
jdx opened this issue Jan 28, 2023 · 1 comment
Closed

create bootstrap guide for direnv setup #39

jdx opened this issue Jan 28, 2023 · 1 comment
Labels
enhancement New feature or request

Comments

@jdx
Copy link
Owner

jdx commented Jan 28, 2023

direnv has 2 commands source_url and fetchurl. I haven't used these before but they will download files from the internet if you match them to a sha in your envrc config.

I haven't fully thought out how this would work, but I have an idea that we could make the direnv setup not involve installing rtx first. You could just copy a snippet into ~/.config/direnv/lib/use_rtx.sh that is capable of fetching rtx if it doesn't exist. It would probably need to fetch assets from github releases, or maybe we can put them on rtx.jdxcode.com.

@jdx jdx added the enhancement New feature or request label Jan 28, 2023
@jdx
Copy link
Owner Author

jdx commented Jan 29, 2023

I've put the assets onto rtx.jdxcode.com, so you can do:

$ curl https://rtx.jdxcode.com/rtx-latest-macos-arm64 > rtx
$ chmod +x rtx
$ ./rtx -v

I don't know why I bothered using tar.gz (either tar or gz) for publishing the runtimes before. I think curl/netlify should automatically gzip the contents anways (I may need to configure something in netlify for this to work though, didn't seem to in my basic test).

@jdx jdx changed the title create bootstrap guide to direnv create bootstrap guide for direnv setup Feb 1, 2023
@jdx jdx closed this as completed Feb 15, 2023
jdx pushed a commit that referenced this issue Jun 1, 2024
Co-authored-by: renovate[bot] <29139614+renovate[bot]@users.noreply.github.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

No branches or pull requests

1 participant