diff options
| -rw-r--r-- | .bash_profile | 11 | ||||
| -rw-r--r-- | emacs/inits/11-selectrum.el | 12 | ||||
| -rw-r--r-- | emacs/inits/25-theorems.el | 16 | ||||
| -rw-r--r-- | emacs/inits/30-irc.el | 4 |
4 files changed, 19 insertions, 24 deletions
diff --git a/.bash_profile b/.bash_profile index fd06b8e..26ba1db 100644 --- a/.bash_profile +++ b/.bash_profile @@ -2,14 +2,16 @@ export EDITOR=zile export HISTFILE=$HOME/.histfile export HISTSIZE=8192 export LANGUAGE="en_GB.UTF-8" -export PATH=$HOME/bin:$HOME/.local/bin:$PATH +export PATH=$HOME/.local/bin:$HOME/prog/go/bin:$HOME/.cargo/bin:$PATH export SUDO_EDITOR=zile export TERMINAL=st export VISUAL=emacs +export ESHELL=bash +export GOPATH=$HOME/prog/go export TEXMFHOME=$HOME/.local/share/texlive -export BROWSER=firefox-esr +export BROWSER=iceweasel export XDG_DESKTOP_DIR=$HOME export XDG_DOCUMENTS_DIR=$HOME/store export XDG_DOWLOAD_DIR=$HOME/store @@ -35,7 +37,7 @@ leftprompt() { d=$(date +"%H.%M"); v=$(vcs); u=#; (( $(id -u) )) && u=\$; - PS1="\[$(tput sgr0)\][\[$(tput bold)\]$(hostname):\[$(tput setaf 30)\]$p\[$(tput sgr0)\]]\ + PS1="\[$(tput sgr0)\][\[$(tput bold)\]$(whoami)@$(hostname):\[$(tput setaf 30)\]$p\[$(tput sgr0)\]]\ (\[$(tput setaf 32)\]$d\[$(tput sgr0)\])$r$v\[$(tput rev)\]$u\[$(tput sgr0)\] "; } @@ -79,3 +81,6 @@ eval $(keychain --eval --systemd -q) if [ -z "$DISPLAY" ] && [ "$XDG_VTNR" == "1" ] ; then startx -- -keeptty fi; + +# shuf -n 1 ~/store/quotes +# echo diff --git a/emacs/inits/11-selectrum.el b/emacs/inits/11-selectrum.el index d7aaab2..b8653c5 100644 --- a/emacs/inits/11-selectrum.el +++ b/emacs/inits/11-selectrum.el @@ -1,15 +1,9 @@ -;; Time-stamp: <2020-03-31 09:11:15 (tslil@bison)> +;; Time-stamp: <2020-04-10 11:05:31 (tslil@bison)> (use-package deadgrep :ensure t :bind (("C-c g" . deadgrep))) -(use-package quelpa - :ensure t - :init (setq quelpa-update-melpa-p nil)) - -(quelpa '(selectrum :fetcher git :url "https://github.com/raxod502/selectrum.git")) - (defun selectrum-recentf () (interactive) (find-file (completing-read "Recent file: " recentf-list nil t))) @@ -27,8 +21,6 @@ selectrum-count-style 'matches) (selectrum-mode +1)) -(quelpa '(selectrum-prescient :fetcher git :url "https://github.com/raxod502/prescient.git")) - (use-package prescient :ensure t) @@ -38,8 +30,6 @@ (selectrum-prescient-mode +1) (prescient-persist-mode +1)) -;; (quelpa '(ctrlf :fetcher git :url "https://github.com/raxod502/ctrlf.git")) - ;; (use-package ctrlf ;; :ensure t ;; :config (ctrlf-mode +1)) diff --git a/emacs/inits/25-theorems.el b/emacs/inits/25-theorems.el index e45648a..990f758 100644 --- a/emacs/inits/25-theorems.el +++ b/emacs/inits/25-theorems.el @@ -1,4 +1,4 @@ -;; Time-stamp: <2020-01-28 15:23:07 (tslil@bison)> +;; Time-stamp: <2020-04-04 09:04:22 (tslil@bison)> ;; ----------------------------------------------------------------------------- ;; Coq @@ -142,14 +142,14 @@ ;; ----------------------------------------------------------------------------- ;; Agda -(load-file (let ((coding-system-for-read 'utf-8)) - (shell-command-to-string "agda-mode locate"))) +;; (load-file (let ((coding-system-for-read 'utf-8)) +;; (shell-command-to-string "agda-mode locate"))) -(add-hook 'agda2-mode - (lambda () - (subword-mode 1) - (auto-fill-mode) - (aggressive-indent-mode -1))) +;; (add-hook 'agda2-mode +;; (lambda () +;; (subword-mode 1) +;; (auto-fill-mode) +;; (aggressive-indent-mode -1))) ;; ----------------------------------------------------------------------------- ;; Lean diff --git a/emacs/inits/30-irc.el b/emacs/inits/30-irc.el index 0bb43ab..e0262ee 100644 --- a/emacs/inits/30-irc.el +++ b/emacs/inits/30-irc.el @@ -1,4 +1,4 @@ -;; Time-stamp: <2020-03-17 16:18:09 (tslil@bison)> +;; Time-stamp: <2020-04-10 10:57:41 (tslil@bison)> (use-package rcirc :ensure t @@ -34,7 +34,7 @@ rcirc-default-nick "maximum_yellow" rcirc-default-user-name "maximum_yellow" rcirc-time-format "%Y-%m-%d %H:%M " - rcirc-log-directory "~/irc/" + rcirc-log-directory "~/logs/irc/" rcirc-fill-column 80 rcirc-log-flag t rcirc-server-alist nil |