From 3bddf30a5bc79e4499ec38ce300305cadc851608 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Pawe=C5=82=20Dybiec?= Date: Sun, 16 Apr 2023 13:39:31 +0100 Subject: update editor configs --- helix.toml | 1 + install.sh | 4 ++++ nvim/init.vim | 2 -- profile | 5 ++++- 4 files changed, 9 insertions(+), 3 deletions(-) create mode 100644 helix.toml delete mode 100644 nvim/init.vim 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 -- cgit v1.2.3