Friday, May 12, 2017

Installing GNU APL

Two parts: the keyboard layout and the program itself.  This is on Ubuntu GNOME 17.04.

Install GNU APL.
cd ~/Downloads
wget ftp://ftp.gnu.org/gnu/apl/apl-1.7.tar.gz
tar xzf apl-1.7.tar.gz
cd apl-1.7
./configure
make 
sudo make install
Set up the keyboard (for all the weird symbols). On Ubuntu GNOME 17.04, go to:
settings -> region and language -> [+] input source -> English (region) -> APL (dyalog)
Then set a good fixed-width font so the symbols show up correctly.  Go here and download the recommended font, open and install it.  Then open the GNOME Tweak Tool:
fonts -> monospace -> APL385 Unicode Regular -> Select
And you're done.  Use
win + space
to switch between the fonts.

Saturday, May 6, 2017

Detaching modal dialog boxes from windows

This had been bugging me for a long time.  Gnome Shell Ubuntu decided that it would be nice if users couldn't get to applications while dialog boxes (like a save menu) were open.  Here's a fix to undo that decision.  src.  This is functional on 17.04.  

Detach dialog
dconf write /org/gnome/shell/overrides/attach-modal-dialogs false
Attach dialog
dconf write /org/gnome/shell/overrides/attach-modal-dialogs true

Final post here

I'm switching over to github pages .  The continuation of this blog (with archives included) is at umhau.github.io .  By the way, the ...