Michael Young

Happy with this, while noting that this currently isn't documented. I'd suggest adding a paragraph in the `OnDigraphs` documentation noting the new alternative syntax, since I'm not sure there's actually...

Delightful! As you hinted, I've tried a few different things myself, and the best I could come up with was: ``` ● G GAP 4.15dev-74-g0a4774e built on 2025-02-06 12:48:35+0000 ●...

As a bit of a side note, it occurs to me we could introduce colour using the old 033 codes. I did this for my first attempt, and it looked...

If we're still at the brainstorming stage, I could mention that we have a lot more of unicode at our disposal, which could improve things. Looking at Max's design above,...

UTF-8, b&w UTF-8, colour ASCII, b&w ASCII, colour I can make a pull request if that'd be helpful. P.S. Code is at https://github.com/mtorpey/gap/commit/dba5b2318e92a281c8eadbac0efa4e0d1f76a94a

The app has never been successfully installed, and I verified that there was only one jdeploy/FeedbackHelper process running. Here's the output from that log file: ``` Found bundle 266M in...

Here we are: ``` ls -la /Users/gnck/Applications total 0 drwxr-xr-x@ 3 root staff 96 17 Nov 12:37 . drwxr-x---+ 66 gnck staff 2112 8 Dec 15:11 .. drwxrwxrwx@ 12 root...

The user managed to solve this with `sudo chown gnck /Users/gnck/Applications`. I haven't found any other Mac users with a root-owned user application directory, and we think it might be...