This repository has been archived on 2023-03-02. You can view files and clone it, but cannot push or open issues or pull requests.

David JULIEN a98e149ad1 feat: make opam more XDG_USER_DIR compliant ...

$OPAMROOT contains both config and data, so it's not perfect...
still better than having it in ~/ tho !

2021-10-12 14:00:29 +02:00

..

.zlogin

feat: add relevant zsh files

2021-05-19 11:56:05 +02:00

.zprofile

feat: make opam more XDG_USER_DIR compliant

2021-10-12 14:00:29 +02:00

.zshrc

feat: make opam more XDG_USER_DIR compliant

2021-10-12 14:00:29 +02:00

zsh_prompt

feat: add scripts for st output management

2021-03-10 23:12:23 +01:00