Skip to content

Commit

Permalink
Improve and update windows text in INSTALL.md
Browse files Browse the repository at this point in the history
  • Loading branch information
ChrisJefferson committed Jan 18, 2024
1 parent e94438a commit 2e16fce
Showing 1 changed file with 12 additions and 14 deletions.
26 changes: 12 additions & 14 deletions INSTALL.md
Original file line number Diff line number Diff line change
Expand Up @@ -563,23 +563,21 @@ fix is known. (One can type `POW(a,b)` for `a^b`.)

## Problems specific to Windows

### Cut and Paste does not work
The best way to use GAP in Windows is to use the "Windows Subsystem for Linux",
also known as WSL. This can be found in the "Microsoft Store" in Windows, and
allows you to install a full copy of Ubuntu. You can then follow the guidance
for building and using GAP in Linux inside WSL.

You might want to try different shells, using both of the two `.bat`
files in the `bin` directory: `gap.bat` and `gapcmd.bat`. Also,
<https://www.gap-system.org/Faq/faq.html#4> might give a remedy.
We also support building GAP using 'Cygwin', which is a UNIX wrapper for
Windows. Cygwin is used for making Windows release. Almost all packages are
supported in the Windows releases.

### GAP does not work in the remote desktop
By default the Windows release reads and writes files from the user's
"Documents" directory.

GAP cannot be started in the Windows Command Prompt shell (via `gapcmd.bat`)
in the remote desktop. To start GAP in the remote desktop, use the script
`gap.bat` which should work in such setting.

### You get an error message about the `cygwin1.dll`

GAP comes with a version of this dynamic library. If you have another
version installed (use "Find"), delete the older one (and probably copy the
newer one in both places).
The windows release can be installed globally for all users, or just for the
current user. This is the best way to install GAP on a machine where you do
not have administrator access.

### Something else went wrong

Expand Down

0 comments on commit 2e16fce

Please sign in to comment.