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

docs: Add direnv usage #845

Merged
merged 2 commits into from
Feb 26, 2024
Merged

docs: Add direnv usage #845

merged 2 commits into from
Feb 26, 2024

Conversation

pavelzw
Copy link
Contributor

@pavelzw pavelzw commented Feb 23, 2024

#397 (comment)

I haven't tested this on windows

@pavelzw
Copy link
Contributor Author

pavelzw commented Feb 23, 2024

@ruben-arts I think something with your comment PR is wrong

image

@pavelzw pavelzw changed the title Add direnv usage to docs docs: Add direnv usage Feb 23, 2024
Copy link
Contributor

@ruben-arts ruben-arts left a comment

Choose a reason for hiding this comment

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

Thanks again!

docs/environment.md Outdated Show resolved Hide resolved
@ruben-arts ruben-arts merged commit 801812d into prefix-dev:main Feb 26, 2024
5 checks passed
@pavelzw pavelzw deleted the direnv branch February 26, 2024 09:20
@pavelzw
Copy link
Contributor Author

pavelzw commented Feb 26, 2024

@ruben-arts FYI the docs deployment failed
image
https://github.com/prefix-dev/pixi/actions/runs/8046458199/job/21973710915

✨ Pixi task (docs): mike deploy --push dev devel
INFO    -  Cleaning site directory
INFO    -  Building documentation to directory: /home/runner/work/pixi/pixi/site
INFO    -  Documentation built in 0.8[7](https://github.com/prefix-dev/pixi/actions/runs/8046458199/job/21973710915#step:5:8) seconds
error: failed to push branch gh-pages to origin:
  remote: Permission to prefix-dev/pixi.git denied to github-actions[bot].
  fatal: unable to access 'https://github.com/prefix-dev/pixi/': The requested URL returned error: 403
Error: Process completed with exit code 1.

@ruben-arts
Copy link
Contributor

I'm aware, its on my list ;) But thanks for pinging!

@ruben-arts
Copy link
Contributor

It is uploaded now! And it should work on next push to main

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.

3 participants