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

Improve and update windows text in INSTALL.md #5595

Merged
merged 1 commit into from
Jan 19, 2024

Conversation

ChrisJefferson
Copy link
Contributor

The cygwin related text in INSTALL.md is very old, and mostly useless. Overhaul this now.

@fingolfin fingolfin added topic: documentation Issues and PRs related to documentation release notes: not needed PRs introducing changes that are wholly irrelevant to the release notes labels Jan 18, 2024
INSTALL.md Outdated Show resolved Hide resolved
INSTALL.md Outdated Show resolved Hide resolved
INSTALL.md Outdated Show resolved Hide resolved
INSTALL.md Outdated Show resolved Hide resolved
INSTALL.md Outdated Show resolved Hide resolved
INSTALL.md Outdated Show resolved Hide resolved
INSTALL.md Outdated Show resolved Hide resolved
INSTALL.md Outdated Show resolved Hide resolved
@fingolfin
Copy link
Member

There is more outdated text specific to Windows in the section "Problems specific to Windows", e.g. references to gap.bat and gapcmd.bat or to FAQ section 4 which no longer exists.

@ChrisJefferson ChrisJefferson force-pushed the improve-install branch 2 times, most recently from 233ebb1 to e1f9a2b Compare January 19, 2024 02:05
@ChrisJefferson
Copy link
Contributor Author

I made another sweep through, and tried to improve all windows related test. I decided to reduce how much we sell WSL, because for "beginner users" they are probably best with the standard installer, as they might not want to get involved with the command line.

@fingolfin fingolfin merged commit fb133d3 into gap-system:master Jan 19, 2024
22 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
release notes: not needed PRs introducing changes that are wholly irrelevant to the release notes topic: documentation Issues and PRs related to documentation
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants