Backup

alacritty/.config/alacritty/alacritty.yml

@@ -77,7 +77,7 @@ env:
   #
   # Override the variant of the GTK theme. Commonly supported values are `dark` and `light`.
   # Set this to `None` to use the default theme variant.
-  gtk_theme_variant: dark
+  gtk_theme_variant: light
 
 #scrolling:
   # Maximum number of lines in the scrollback buffer.
@@ -282,7 +282,7 @@ font:
 #
 # Window opacity as a floating point number from `0.0` to `1.0`.
 # The value `0.0` is completely transparent and `1.0` is opaque.
-#background_opacity: 1.0
+background_opacity: 0.8
 
 #selection:
   #semantic_escape_chars: ",│`|:\"' ()[]{}<>\t"
@@ -563,34 +563,34 @@ live_config_reload: true
   # Print all received window events.
   #print_events: false
 
-# Colors (Gruvbox dark)
-colors:
-  # Default colors
-  primary:
-    # hard contrast: background = '0x1d2021'
-    background: '0x282828'
-    # soft contrast: background = '0x32302f'
-    foreground: '0xebdbb2'
-  # Normal colors
-  normal:
-    black:   '0x282828'
-    red:     '0xcc241d'
-    green:   '0x98971a'
-    yellow:  '0xd79921'
-    blue:    '0x458588'
-    magenta: '0xb16286'
-    cyan:    '0x689d6a'
-    white:   '0xa89984'
-  # Bright colors
-  bright:
-    black:   '0x928374'
-    red:     '0xfb4934'
-    green:   '0xb8bb26'
-    yellow:  '0xfabd2f'
-    blue:    '0x83a598'
-    magenta: '0xd3869b'
-    cyan:    '0x8ec07c'
-    white:   '0xebdbb2'
+# # Colors (Gruvbox dark)
+# colors:
+#   # Default colors
+#   primary:
+#     # hard contrast: background = '0x1d2021'
+#     background: '0x282828'
+#     # soft contrast: background = '0x32302f'
+#     foreground: '0xebdbb2'
+#   # Normal colors
+#   normal:
+#     black:   '0x282828'
+#     red:     '0xcc241d'
+#     green:   '0x98971a'
+#     yellow:  '0xd79921'
+#     blue:    '0x458588'
+#     magenta: '0xb16286'
+#     cyan:    '0x689d6a'
+#     white:   '0xa89984'
+#   # Bright colors
+#   bright:
+#     black:   '0x928374'
+#     red:     '0xfb4934'
+#     green:   '0xb8bb26'
+#     yellow:  '0xfabd2f'
+#     blue:    '0x83a598'
+#     magenta: '0xd3869b'
+#     cyan:    '0x8ec07c'
+#     white:   '0xebdbb2'
 
 # # Colors (Pencil Light)
 # colors:

coc/.config/coc/extensions/db.json

@@ -0,0 +1,3 @@
+{
+  "lastUpdate": 1614922854095
+}

coc/.config/coc/extensions/package.json

@@ -7,7 +7,6 @@
     "coc-rust-analyzer": ">=0.32.0",
     "coc-snippets": ">=2.2.9",
     "coc-solargraph": ">=1.2.0",
-    "coc-texlab": ">=2.3.0",
-    "coc-tsserver": ">=1.6.7"
+    "coc-texlab": ">=2.3.0"
   }
 }

coc/.config/coc/memos.json

@@ -0,0 +1 @@
+{}

cron/.cron/backup-nus.sh

@@ -0,0 +1,13 @@
+#!/bin/bash
+set -euxo pipefail
+
+notify-send "Beginning to backup NUS directory."
+cd /home/yeejian/nus
+git add .
+git commit -m "Automated backup"
+git push origin main
+cd /home/yeejian/nus/nus-notes
+git add .
+git commit -m "Automated backup"
+git push origin master
+notify-send "Done backing up NUS directory."

cron/.cron/luminus-download.sh

@@ -0,0 +1,4 @@
+#!/bin/bash
+set -euxo pipefail
+
+fluminurs --download-to=/home/yeejian/nus/ivle/y4s1 --updated=overwrite --credential-file=/home/yeejian/login.json

emacs/.doom.d/config.el

@@ -2,20 +2,21 @@
 (setq doom-font (font-spec :family "Iosevka Term" :size 18)
       doom-unicode-font (font-spec :family "Noto Color Emoji" :size 15)
       doom-theme 'doom-gruvbox
+      doom-variable-pitch-font (font-spec :family "Times New Roman" :size 15)
       user-full-name "Tan Yee Jian"
       user-mail-address "[email protected]"
       )
 
 ;; (custom-set-faces! '(default :height 135))
 
-(defun yeejian/org-start-work () "Start working on an item in Agenda."
-       (org-agenda-todo "INPROGRESS")
-       (org-agenda-clock-in))
+;; (defun yeejian/org-start-work () "Start working on an item in Agenda."
+;;        (org-agenda-todo "INPROGRESS")
+;;        (org-agenda-clock-in))
 
 
-(defun yeejian/org-stop-work () "Stop working on an item in Agenda."
-       (org-agenda-todo "WAITING")
-       (org-agenda-clock-out))
+;; (defun yeejian/org-stop-work () "Stop working on an item in Agenda."
+;;        (org-agenda-todo "WAITING")
+;;        (org-agenda-clock-out))
 
 (after! org
   (map! :map org-mode-map
@@ -24,9 +25,9 @@
         :n "S-k" #'org-shiftup
         :n "S-j" #'org-shiftdown
         )
-  (map! :map org-agenda-mode-map
-        :m "I" #'yeejian/org-start-work
-        :m "O" #'yeejian/org-stop-work)
+  ;; (map! :map org-agenda-mode-map
+  ;;       :m "I" #'yeejian/org-start-work
+  ;;       :m "O" #'yeejian/org-stop-work)
   (setq org-todo-keywords '((sequence "TODO(t)" "INPROGRESS(i)" "WAITING(w)" "|" "DONE(d!)" "CANCELLED(c@)"))
         org-agenda-files (list "~/Dropbox/org/")
         org-directory "~/Dropbox/org/"
@@ -59,7 +60,7 @@
                                         "\\newtheorem{observation}{Observation}[section]"
                                         "\\DeclareMathOperator{\\diam}{diam}"
                                         "\\linespread{1.1}")
-        org-latex-packages-alist '(("" "amsthm" nil) ("" minted nil))
+        org-latex-packages-alist '(("" "amsthm" nil) ("" "minted" nil) ("" "hyperref" nil))
         bibtex-dialect 'biblatex
         org-latex-pdf-process '("latexmk -shell-escape -bibtex -pdf %f")
         org-latex-listings 'minted
@@ -68,8 +69,8 @@
                         ("\\.mm\\'" . default)
                         ("\\.x?html?\\'" . default)
                         ("\\.pdf\\'" . "zathura %s"))
-        org-journal-dir "~/Dropbox/org/journal"
-        org-roam-directory "~/Dropbox/org/roam"
+        ;; org-journal-dir "~/Dropbox/org/journal"
+        ;; org-roam-directory "~/Dropbox/org/roam"
         org-capture-templates
         '(("t" "Todo" entry (file "inbox.org")
            "* TODO %?\n  %i\n  %a")
@@ -124,12 +125,46 @@
 ;; (after! latex-preview-pane
 ;;   (setq shell-escape-mode t))
 
-(add-hook 'c++-mode-hook #'clang-format+-mode)
-
-(after! proof-general
-  (map! :mode coq
-        :n "C-c k" #'proof-undo-last-successful-command
-        :n "C-c j" #'proof-assert-next-command-interactive
-        ))
+;; (defun compile-latex ()
+;;   "Compile the current file into pdf."
+;;   (let ((command (concat "pdflatex -synctex 1 -shell-escape " (buffer-file-name))))
+;;     (shell-command command)
+;;     (message (concat "Done compiling " command))
+;;     )
+;;   )
+
+
+;; (add-hook 'latex-mode-hook
+;;           (lambda ()
+;;             (add-hook 'after-save-hook 'compile-latex nil 'make-it-local)))
+
+;; (add-hook 'c++-mode-hook #'clang-format+-mode)
+
+;; (after! proof-general
+;;   (map! :mode coq
+;;         :n "C-c k" #'proof-undo-last-successful-command
+;;         :n "C-c j" #'proof-assert-next-command-interactive
+;;         ))
+
+;; (after! lsp-mode
+;;   (lsp-register-client
+;;    (make-lsp-client
+;;     :new-connection
+;;     (lsp-stdio-connection (list "swipl"
+;;                                 "-g" "use_module(library(lsp_server))."
+;;                                 "-g" "lsp_server:main"
+;;                                 "-t" "halt"
+;;                                 "--" "stdio"))
+;;     :major-modes '(prolog-mode)
+;;     :priority 1
+;;     :multi-root t
+;;     :server-id 'prolog-ls)))
+
+(after! fstar-mode
+  (setq fstar-executable "/home/yeejian/Downloads/fstar/bin/fstar.exe")
+  )
 
+(after! mixed-pitch-mode
+  (setq )
+  )
 (message "Done reloading config.")