diff options
| author | Paweł Dybiec <pawel@dybiec.info> | 2023-04-16 13:39:31 +0100 |
|---|---|---|
| committer | Paweł Dybiec <pawel@dybiec.info> | 2023-04-16 13:39:31 +0100 |
| commit | 3bddf30a5bc79e4499ec38ce300305cadc851608 (patch) | |
| tree | 6f5c76ec30c14ae88ad213716f45b51d0227f017 | |
| parent | Update editors and git config (diff) | |
update editor configs
| -rw-r--r-- | helix.toml | 1 | ||||
| -rwxr-xr-x | install.sh | 4 | ||||
| -rw-r--r-- | nvim/init.vim | 2 | ||||
| -rw-r--r-- | profile | 5 |
4 files changed, 9 insertions, 3 deletions
diff --git a/helix.toml b/helix.toml new file mode 100644 index 0000000..815ed7a --- /dev/null +++ b/helix.toml @@ -0,0 +1 @@ +theme = "monokai" diff --git a/install.sh b/install.sh index 1f73b4d..95bab61 100755 --- a/install.sh +++ b/install.sh @@ -7,5 +7,9 @@ ln -sf $dotfiles/profile $HOME/.profile mkdir $HOME/.config/nvim ln -sf $dotfiles/init.vim $HOME/.config/nvim/init.vim mkdir $HOME/.emacs.d +mkdir $HOME/.config/helix +ln -sf $dotfiles/helix.toml $HOME/.config/helix/config.toml ln -sf $dotfiles/init.el $HOME/.emacs.d/init.el emacs -nw --eval '(package-refresh-contents)' --eval '(package-install-selected-packages)' --eval '(kill-emacs)' +agda-mode setup +ln -sf $dotfiles/borg-exclude.txt $HOME/.borg-exclude.txt diff --git a/nvim/init.vim b/nvim/init.vim deleted file mode 100644 index 3c4c97c..0000000 --- a/nvim/init.vim +++ /dev/null @@ -1,2 +0,0 @@ -set number -set mouse=a diff --git a/profile b/profile index 7dd7b83..6faa506 100644 --- a/profile +++ b/profile @@ -7,7 +7,6 @@ if [ -n "$BASH_VERSION" ]; then fi export PATH=$HOME/.local/bin:$PATH -source "$HOME/.cargo/env" source "$HOME/.ghcup/env" export PATH=$HOME/.cabal/bin/:$HOME/go/bin:$PATH # opam configuration @@ -16,3 +15,7 @@ export PATH=$HOME/.cabal/bin/:$HOME/go/bin:$PATH #eval "$(stack --bash-completion-script stack)" +. "$HOME/.cargo/env" + +# opam configuration +test -r /home/dyniec/.opam/opam-init/init.sh && . /home/dyniec/.opam/opam-init/init.sh > /dev/null 2> /dev/null || true |