diff --git a/INSTALL.md b/INSTALL.md index 3053858d67b..887cac9000a 100644 --- a/INSTALL.md +++ b/INSTALL.md @@ -558,28 +558,27 @@ This is a problem if you are running a keyboard driver for some non-english languages. These drivers catch the ^ character to produce the French circumflex accent and do not pass it properly to GAP. For macOS users, as a workaround please refer to the section "GAP for macOS" below for information on -how to install readline and section 5 on how to recompile GAP, for windows no +how to install readline and section 5 on how to recompile GAP, for Windows no 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" +( https://learn.microsoft.com/en-us/windows/wsl/install ), 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