Skip to content

application launcher

ghci
I don't know if there'd be interest in adding to distrib a user customisable ghci.desktop file and an associated image file.

$ cat ghci.desktop
[Desktop Entry]
Name=GHCi
Comment=GHC interactive environment
Exec=ghci
Icon=ghci
Terminal=true
Type=Application
Categories=Development;
$ 
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information