diff --git a/INSTALL.md b/INSTALL.md index 3053858d67b..3c9b7c5921d 100644 --- a/INSTALL.md +++ b/INSTALL.md @@ -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, - 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