Moving things one level deeper

To ease gnu stow usage. Now we can do

stow -t ~ emacs

1 files changed, 0 insertions, 373 deletions

diff --git a/.emacs.d/init/ycp-prog.el b/.emacs.d/init/ycp-prog.el
deleted file mode 100644
index 9ab868b..0000000
--- a/.emacs.d/init/ycp-prog.el
+++ /dev/null
@@ -1,373 +0,0 @@
-;;; ycp-prog.el -- My config for programming -*- lexical-binding: t -*-
-
-;; Copyright (C) 2023 Free Software Foundation.
-
-;; Author: Yuchen Pei <id@ypei.org>
-;; Package-Requires: ((emacs "28.2"))
-
-;; This file is part of dotfiles.
-
-;; dotfiles is free software: you can redistribute it and/or modify it under
-;; the terms of the GNU Affero General Public License as published by
-;; the Free Software Foundation, either version 3 of the License, or
-;; (at your option) any later version.
-
-;; dotfiles is distributed in the hope that it will be useful, but WITHOUT
-;; ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
-;; or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU Affero General
-;; Public License for more details.
-
-;; You should have received a copy of the GNU Affero General Public
-;; License along with dotfiles.  If not, see <https://www.gnu.org/licenses/>.
-
-;;; Commentary:
-
-;; My config for programming. Covers comint, shell, eshell, compile,
-;; xref, eglot, prog-mode etc.
-
-;;; Code:
-
-
-
-;;; comint, shell, eshell
-(my-package comint
-  (setq ansi-color-for-comint-mode t)
-  (setq-default comint-scroll-to-bottom-on-input t)
-  (setq-default comint-scroll-to-bottom-on-output nil)
-  (setq-default comint-input-autoexpand 'input)
-  (setq comint-prompt-read-only t)
-  (setq comint-buffer-maximum-size 9999)
-  (setq comint-completion-autolist t)
-  (define-key comint-mode-map (kbd "C-<up>") 'windmove-up)
-  (define-key comint-mode-map (kbd "C-<down>") 'windmove-down)
-  (setq comint-input-ring-size 5000)
-  (setq comint-input-ignoredups t)
-  (setq comint-terminfo-terminal "dumb")
-  (setq comint-password-prompt-regexp
-        (concat comint-password-prompt-regexp
-                "\\|^BECOME password:\\s *\\'"
-	              "\\|^SSH password:\\s *\\'"))
-  )
-
-(my-package shell
-  (:delay 5)
-  (setq shell-command-prompt-show-cwd t)
-  (setq shell-input-autoexpand 'input)
-
-  (my-keybind shell-mode-map
-    "<up>" #'comint-previous-input
-    "<down>" #'comint-next-input
-    "C-c C-k" #'comint-clear-buffer
-    "C-c C-w" #'comint-write-output)
-  (setq shell-command-prompt-show-cwd t)
-  (add-hook 'shell-mode-hook
-            (lambda ()
-              (setq comint-input-ring-file-name "~/.bash_history")))
-  (add-hook 'shell-mode-hook 'ansi-color-for-comint-mode-on)
-  )
-
-(my-package sh-script
-  (:delay 5)
-  (setq sh-basic-offset 2)
-  (add-to-list 'auto-mode-alist '("PKGBUILD" . sh-mode))
-)
-
-(my-package my-prog
-  (:delay 10)
-  ;; tab-width 8 for ls etc.
-  (add-hook 'shell-mode-hook 'my-set-tab-width-to-8)
-  (my-keybind comint-mode-map "C-<return>"
-    #'my-comint-send-input-and-return-prompt)
-  (add-to-list 'my-buffer-create-functions
-               '(shell-mode . my-shell-with-directory))
-  (my-keybind shell-mode-map "<f2>" #'my-restart-shell)
-  (add-hook 'shell-mode-hook 'my-shell-disable-company-if-remote)
-  )
-
-(my-package eshell
-  (:delay 60)
-  (setq eshell-modules-list
-        '(eshell-alias eshell-banner eshell-basic eshell-cmpl eshell-dirs eshell-glob eshell-hist eshell-ls eshell-pred eshell-prompt eshell-script eshell-term eshell-tramp eshell-unix))
-  )
-
-(my-package bash-completion
-  (:install t)
-  (:delay 15))
-
-;;; prog modes: c, c++, elisp, js, css, ts,
-(my-package prog-mode
-  (add-hook 'prog-mode-hook #'display-line-numbers-mode)
-  (add-hook 'prog-mode-hook (lambda () (setq-local tab-width 2))))
-
-;; cmake
-(my-package cmake-mode
-  (:delay 60))
-
-;;; eglot
-(my-package eglot
-  (:delay 10)
-  (add-to-list 'eglot-server-programs
-               '((php-mode phps-mode)
-                 "phpactor" "language-server" "-vvv"))
-  (add-hook 'before-save-hook (lambda () (interactive)
-                                (when (eglot-managed-p)
-                                  (unless (eq major-mode 'haskell-mode)
-                                    (eglot-format-buffer)))))
-  (setq-default eglot-workspace-configuration
-                '((:pylsp
-                   (plugins
-                    (pylint
-                     (enabled . t)
-                     (executable . "/usr/bin/pylint"))))
-                  (:haskell-language-server
-                   (haskell
-                    (formattingProvider . :json-false)))))
-  (add-to-list 'eglot-server-programs
-               '(haskell-mode
-                 "haskell-language-server-wrapper" "--lsp" "--debug"))
-
-  ;; I'm not sure why this is needed, but it throws an error if I remove it
-  (cl-defmethod project-root ((project (head eglot-project)))
-    (cdr project))
-
-  (defun my-project-try-tsconfig-json (dir)
-    (when-let* ((found (locate-dominating-file dir "tsconfig.json")))
-      (cons 'eglot-project found)))
-
-  (add-hook 'project-find-functions
-            'my-project-try-tsconfig-json nil nil)
-
-  (add-to-list 'eglot-server-programs
-               '((typescript-mode) "typescript-language-server" "--stdio")))
-
-(my-package cc-mode
-  (:delay 5)
-  (define-key c-mode-map (kbd "C-c C-c") 'compile)
-  )
-
-(my-package my-prog
-  (:delay 10)
-  (add-hook 'c-mode-hook 'my-c-set-compile-command)
-  (my-keybind global-map "C-c 8" #'my-set-tab-width-to-8)
-  )
-
-;;; emacs-lisp mode
-(my-package elisp-mode
-  (my-keybind emacs-lisp-mode-map "C-c C-c" #'eval-buffer)
-  (add-hook 'emacs-lisp-mode-hook (lambda () (auto-fill-mode 1)))
-  (setq print-length 1000)
-  (my-keybind global-map
-    "<f5>" #'my-toggle-debug-on-error-quit
-    "C-c e e" (lambda () (interactive)
-			          (find-file (locate-user-emacs-file "init.el")))
-    "C-c e d" (lambda () (interactive)
-			          (find-file (locate-user-emacs-file "init")))
-    "C-c e m" (lambda () (interactive)
-			          (find-file (locate-user-emacs-file "lisp/my")))
-    "C-c e b" (lambda () (interactive)
-		            (my-switch-to-buffer-matching-major-mode
-                 'emacs-lisp-mode)))
-  ;; for deep recursion, e.g. in radix tree
-  (setq max-specpdl-size 32000)
-  )
-
-;;; paredit
-(my-package paredit
-  (:install t)
-  (add-hook 'emacs-lisp-mode-hook       #'enable-paredit-mode)
-  (add-hook 'eval-expression-minibuffer-setup-hook #'enable-paredit-mode)
-  (add-hook 'ielm-mode-hook             #'enable-paredit-mode)
-  (add-hook 'lisp-mode-hook             #'enable-paredit-mode)
-  (add-hook 'lisp-data-mode-hook             #'enable-paredit-mode)
-  (add-hook 'lisp-interaction-mode-hook #'enable-paredit-mode)
-  (add-hook 'scheme-mode-hook           #'enable-paredit-mode)
-  (my-keybind paredit-mode-map
-    "M-<left>" #'paredit-forward-barf-sexp
-    "M-<right>" #'paredit-forward-slurp-sexp
-    "C-<left>" nil
-    "C-<right>" nil
-    "M-?" nil
-    "C-j" nil ;not ideal, we just want to unshadow it in lisp-interaction-mode
-    "<RET>" #'paredit-newline
-    "M-s" nil
-    "M-o" #'paredit-splice-sexp
-    "M-h" #'paredit-convolute-sexp)
-  )
-
-;;; flymake
-(my-package flymake
-  (:install t)
-  (:delay 15)
-  (my-keybind flymake-mode-map
-    "M-n" #'flymake-goto-next-error
-    "M-p" #'flymake-goto-prev-error))
-
-(my-package my-prog
-  (require 'xref)
-  (my-override xref-query-replace-in-results))
-
-(my-package js
-  (:delay 60)
-  (setq js-indent-level 2)
-  (add-hook 'js-mode-hook 'subword-mode)
-  (my-keybind js-mode-map "M-." #'xref-find-definitions)
-  )
-
-(my-package typescript-mode
-  (:delay 60)
-  (:install t)
-  (add-to-list 'auto-mode-alist '("\\.ts\\'" . typescript-mode))
-  (setq typescript-indent-level 2)
-  )
-
-(my-package tide
-  (:delay 60)
-  (require 'my-tide)
-  ;; aligns annotation to the right hand side
-  (setq company-tooltip-align-annotations t)
-
-  ;; formats the buffer before saving
-  (add-hook 'before-save-hook 'tide-format-before-save)
-
-  (add-hook 'typescript-mode-hook #'setup-tide-mode)
-  (add-hook 'typescript-mode-hook 'subword-mode)
-  )
-
-(my-package web-mode
-  (:delay 60)
-  (:install t)
-  (add-to-list 'auto-mode-alist '("\\.tsx\\'" . web-mode))
-  (add-to-list 'auto-mode-alist '("\\.jsx\\'" . web-mode))
-  (setq web-mode-content-types-alist '(("jsx" . "\\.js[x]?\\'")))
-  (setq web-mode-markup-indent-offset 2)
-  (setq web-mode-code-indent-offset 2)
-  (add-hook 'web-mode-hook
-            (lambda ()
-              (when (string-equal "tsx" (file-name-extension buffer-file-name))
-                (my-setup-tide-mode))))
-  )
-
-(my-package flycheck
-  (:delay 60)
-  (flycheck-add-mode 'typescript-tslint 'web-mode)
-  )
-
-(my-package css-mode
-  (setq css-indent-offset 2))
-
-(my-package haskell-mode
-  (:install t)
-  (:delay 60)
-  ;; do we need to require haskell-command?
-  (setq haskell-compile-command
-        "ghc -Wall -ferror-spans -fforce-recomp -dynamic -c %s")
-  (my-keybind haskell-mode-map "C-c C-c" #'haskell-compile)
-  (setq haskell-mode-stylish-haskell-path "brittany")
-  (setq haskell-stylish-on-save t)
-  (my-setq-from-local haskell-hoogle-url)
-  (add-hook 'haskell-mode-hook 'subword-mode)
-  (add-hook 'haskell-mode-hook 'interactive-haskell-mode)
-  (add-hook 'haskell-mode-hook
-            (lambda ()
-              (set (make-local-variable 'company-backends)
-                   (append '((company-capf company-dabbrev-code))
-                           company-backends))))
-  (setq haskell-interactive-popup-errors t)
-  (setq haskell-process-suggest-hoogle-imports t)
-  (setq haskell-process-log t)
-  (cl-pushnew '(haskell-process-use-ghci . t)
-              safe-local-variable-values :test #'equal)
-  (cl-pushnew '(haskell-indent-spaces . 4)
-              safe-local-variable-values :test #'equal)
-  (cl-pushnew '(haskell-tags-on-save . t)
-              safe-local-variable-values :test #'equal)
-  (cl-pushnew '(haskell-indentation-where-post-offset . 2)
-              safe-local-variable-values :test #'equal)
-  (cl-pushnew '(haskell-indentation-where-pre-offset . 2)
-              safe-local-variable-values :test #'equal)
-  (cl-pushnew '(haskell-indentation-ifte-offset . 4)
-              safe-local-variable-values :test #'equal)
-  (cl-pushnew '(haskell-indentation-left-offset . 4)
-              safe-local-variable-values :test #'equal)
-  (cl-pushnew '(haskell-indentation-starter-offset . 1)
-              safe-local-variable-values :test #'equal)
-  (cl-pushnew '(haskell-indentation-layout-offset . 4)
-              safe-local-variable-values :test #'equal))
-
-(my-package hcel
-  ;; fixme: credential
-  (:delay 60)
-  (:install t)
-  ;; The official one is https://haskell-code-explorer.mfix.io
-  (my-setq-from-local hcel-host)
-  (my-keybind global-map
-    "C-c hh" #'hcel
-    "C-c hi" #'hcel-global-ids
-    "C-c ho" #'hcel-help)
-  )
-
-(my-package hcel-haddorg
-  (:delay 60)
-  ;; fixme: credential
-  (my-setq-from-local hcel-haddorg-dir))
-
-(my-package ggtags
-  (:install t)
-  (:delay 60)
-  (my-keybind ggtags-navigation-map
-    ggtags-navigation-map "M-<" nil
-    ggtags-navigation-map "M->" nil))
-
-(my-package phps-mode
-  (:install t)
-  (:delay 60)
-  (add-to-list 'auto-mode-alist '("\\.\\(?:php[s345]?\\|phtml\\)\\'" . phps-mode))
-  (add-to-list 'auto-mode-alist '("\\.\\(?:php\\.inc\\|stub\\)\\'" . phps-mode))
-  (add-to-list 'auto-mode-alist '("/\\.php_cs\\(?:\\.dist\\)?\\'" . phps-mode))
-  (add-hook 'before-save-hook (lambda () (interactive)
-                                (when (eq major-mode 'phps-mode)
-                                  (phps-mode-format-buffer)))))
-
-(my-package crystal-mode
-  (:delay 60)
-  (require 'flycheck-crystal))
-
-(my-package imenu
-  (:delay 5)
-  (my-keybind global-map "C-c i" #'imenu)
-)
-
-;;; proof-general
-(my-package proof-general
-  (:install t)
-  (:delay 60)
-  (setq coq-prog-name "/usr/bin/coqtop")
-  (setq coq-compiler "~/.opam/default/bin/coqc")
-  (setq coq-prog-env '("PATH=/usr/bin/:$HOME/.opam/default/bin/"))
-  (setq coq-diffs 'on)
-  (setq proof-three-window-enable nil))
-
-;;; tree-sitter
-(add-to-list 'load-path (locate-user-emacs-file "lisp/elisp-tree-sitter/core"))
-(add-to-list 'load-path (locate-user-emacs-file "lisp/elisp-tree-sitter/lisp"))
-(my-package tree-sitter
-  (:delay 15)
-  (require 'tree-sitter-hl)
-  (require 'tree-sitter-langs)
-  (require 'tree-sitter-debug)
-  (require 'tree-sitter-query)
-  (add-to-list 'tree-sitter-major-mode-language-alist
-               '(haskell-mode . haskell))
-  (add-to-list 'tree-sitter-major-mode-language-alist
-               '(phps-mode . php))
-  (global-tree-sitter-mode)
-  (add-hook 'tree-sitter-after-on-hook #'tree-sitter-hl-mode))
-
-;;; sml
-(my-package sml-mode
-  (:install t)
-  (:delay 60)
-  (setq sml-indent-level 2))
-
-(provide 'ycp-prog)
-;;; ycp-prog.el ends here