update editor configs

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