alt-ergo icon indicating copy to clipboard operation
alt-ergo copied to clipboard

[Gui] move altgr-ergo.conf file in the share/alt-ergo directory of current opam switch

Open ACoquereau opened this issue 3 years ago • 1 comments

Add option to specify share directory in configure

ACoquereau avatar Jan 26 '21 15:01 ACoquereau

This issue was raised by this pr : https://github.com/ocaml/opam-repository/pull/18015 where the conf file could not be create in the sandbox of opam

ACoquereau avatar Jan 26 '21 15:01 ACoquereau