diff options
| author | Paweł Dybiec <pawel@dybiec.info> | 2023-01-15 17:42:03 +0000 |
|---|---|---|
| committer | Paweł Dybiec <pawel@dybiec.info> | 2023-01-15 17:42:03 +0000 |
| commit | 34114ff3204030ced4cec7d362a7061bcc8f90fa (patch) | |
| tree | 54380fa3efadd66d0068a970daa217e48f9f0d08 | |
| parent | Initial commit (diff) | |
Update editors and git config
| -rw-r--r-- | gitconfig | 2 | ||||
| -rw-r--r-- | init.el (renamed from emacs.d/init.el) | 17 | ||||
| -rw-r--r-- | init.vim | 2 | ||||
| -rwxr-xr-x | install.sh | 6 |
4 files changed, 23 insertions, 4 deletions
diff --git a/gitconfig b/gitconfig index 714f67a..ea437a7 100644 --- a/gitconfig +++ b/gitconfig @@ -5,7 +5,7 @@ [pull] rebase = true [commit] - #gpgsign = true + gpgsign = true [init] defaultBranch = main [core] diff --git a/emacs.d/init.el b/init.el index d401c49..9549479 100644 --- a/emacs.d/init.el +++ b/init.el @@ -4,13 +4,18 @@ (scroll-bar-mode -1) ;; # apt install fonts-mononoki (set-face-attribute 'default nil - :family "mononoki" + :family "Iosevka Fixed" :height 120 :weight 'normal :width 'normal) ;;; packages stuff (custom-set-variables + ;; custom-set-variables was added by Custom. + ;; If you edit it by hand, you could mess it up, so be careful. + ;; Your init file should contain only one such instance. + ;; If there is more than one, they won't work right. + '(browse-url-browser-function 'browse-url-firefox) '(custom-safe-themes '("01cf34eca93938925143f402c2e6141f03abb341f27d1c2dba3d50af9357ce70" default)) '(helm-minibuffer-history-key "M-p") @@ -72,3 +77,13 @@ :ensure t :bind (("C-x g". 'magit-status))) +(custom-set-faces + ;; custom-set-faces was added by Custom. + ;; If you edit it by hand, you could mess it up, so be careful. + ;; Your init file should contain only one such instance. + ;; If there is more than one, they won't work right. + ) + +(add-to-list 'auto-mode-alist '("\\.lagda.md\\'" . agda2-mode)) +(load-file (let ((coding-system-for-read 'utf-8)) + (shell-command-to-string "agda-mode locate"))) diff --git a/init.vim b/init.vim new file mode 100644 index 0000000..3c4c97c --- /dev/null +++ b/init.vim @@ -0,0 +1,2 @@ +set number +set mouse=a diff --git a/install.sh b/install.sh index 871874c..1f73b4d 100755 --- a/install.sh +++ b/install.sh @@ -4,6 +4,8 @@ ln -sf $dotfiles/gitconfig $HOME/.gitconfig ln -sf $dotfiles/tmux.conf $HOME/.tmux.conf ln -sf $dotfiles/bashrc $HOME/.bashrc ln -sf $dotfiles/profile $HOME/.profile -ln -sf $dotfiles/emacs.d $HOME/ -ln -sf $dotfiles/nvim $HOME/.config/ +mkdir $HOME/.config/nvim +ln -sf $dotfiles/init.vim $HOME/.config/nvim/init.vim +mkdir $HOME/.emacs.d +ln -sf $dotfiles/init.el $HOME/.emacs.d/init.el emacs -nw --eval '(package-refresh-contents)' --eval '(package-install-selected-packages)' --eval '(kill-emacs)' |