1
Vote

Fix environment variable names

description

koka-options and koka-editor have a dash in their name which makes them quite unusable in most unix shell environments.

I'd propose the usual naming KOKA_OPTIONS and KOKA_EDITOR.

comments