Skip to content

Conversation

@Ellipse0934
Copy link
Contributor

No description provided.

@Ellipse0934
Copy link
Contributor Author

See: #42

@farkon00
Copy link
Owner

farkon00 commented May 8, 2024

How about making github actions use a docker container too, for consistency purposes?

- wabt

On debian/ubuntu based systems with APT you can do:
To setup directly on your machine:
Copy link
Contributor Author

Choose a reason for hiding this comment

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

This is debian/ubuntu specific. For people on Arch, RHEL, nix,.etc it wont work hence the qualifier.

Copy link
Owner

Choose a reason for hiding this comment

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

This is debian/ubuntu specific. For people on Arch, RHEL, nix,.etc it wont work hence the qualifier.

Yes, but the comment right next to the apt command specifies to use your package manager and the only command, that changes depending on your distro, is that apt command. I think specifying it to be debian/ubuntu based specifically might confuse people, who might think the only supported option on other distros is to use the docker container.

@Ellipse0934
Copy link
Contributor Author

I need confirmation from a competent authority about point 3.

#42 (comment)

Correct spelling is bitchebis

cc: @datawater

@datawater
Copy link
Contributor

I need confirmation from a competent authority about point 3.

#42 (comment)

Correct spelling is bitchebis

cc: @datawater

Yeaur I agree. The correct spelling is "bitchebis".

@Ellipse0934 Ellipse0934 requested a review from farkon00 May 11, 2024 11:22
LOCALDIR=~/code/cont
```
```sh
docker run --mount type=bind,source=$LOCALDIR,target=/code -it cont /bin/bash
Copy link
Owner

@farkon00 farkon00 May 13, 2024

Choose a reason for hiding this comment

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

This way of mounting a local directory doesn't work in all cases, because of permission issues. We should find a better way to handle this.

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