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

Use "GNU+Linux" instead of "Linux" #58

Open
wants to merge 1 commit into
base: master
Choose a base branch
from
Open

Use "GNU+Linux" instead of "Linux" #58

wants to merge 1 commit into from

Conversation

ghost
Copy link

@ghost ghost commented Jun 30, 2015

No description provided.

Signed-off-by: Alexander Berntsen <alexander@plaimi.net>
@david-christiansen
Copy link
Contributor

I'm a big fan of the FSF and their mission, but I don't think that their argument that we should say "GNU/Linux" makes any sense, and as the proportion of the system not made by the FSF grows, it's becoming less and less the case. I'm not in favor of merging this, unless there's some other good reason.

@jfdm
Copy link
Contributor

jfdm commented Jun 30, 2015

Regardless of perceptions of the GNU/Linux debate, this repository has been deprecated in favour of a sphinx-based documentation that is hosted in the main development repository.

All PR for the tutorial should be made there.

@david-christiansen
Copy link
Contributor

Oh, I didn't even see that it was on this repo.

Perhaps we should just get rid of this one, now that it's in the main repo?

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