Benjamin Nasmith
Benjamin Nasmith
I have git install on Windows and load GAP by typing `$ gap.bat` in bash.
I installed GAP by running the gap-4.9.3.exe file from the downloads page. When I try to run gap.sh from a prompt (whether bash of cmd) it won't properly open GAP...
Yes, thanks. I meant to write "git installed" not "git install", a typo. I just tried double clicking `gap.bat` and I can reproduce the problem that way. CTRL-Z freezes the...
That’s all helpful, thanks. (I just mentioned having installed git to explain why I’m using bash, that’s all). I’ll check out mintty and am happy using gapcmd until then. I...
Hello, I'm using Atom on three different Windows computers (Win10 and Win7). The same problem occurs in each case when I try to clone my private repository from Github onto...
Hello, I tried cloning in Gitbash. This seemed to work fine. Then I opened atom and hit "fetch" to see if it would sync with the Github version. I then...
Hello, no it doesn't seem like the fetch succeeded. In other news, I'm still able to clone and push/fetch/pull from bash, which I didn't know how to do before.