Amin Bandali [Sat, 7 Jul 2018 06:19:55 +0000 (02:19 -0400)]
[emacs] add some header links
Amin Bandali [Sat, 7 Jul 2018 06:12:48 +0000 (02:12 -0400)]
[emacs] remove vestigial EXWM configuration
Amin Bandali [Sat, 7 Jul 2018 02:53:26 +0000 (22:53 -0400)]
[emacs] assimilate doom-modeline and tao-theme (and their deps)
Amin Bandali [Fri, 6 Jul 2018 16:11:16 +0000 (12:11 -0400)]
[emacs] assimilate Proof General (for Coq)
Amin Bandali [Fri, 6 Jul 2018 15:56:35 +0000 (11:56 -0400)]
[emacs/alloy-mode] use indentation offset of 2 (instead of 3)
Amin Bandali [Fri, 6 Jul 2018 15:41:22 +0000 (11:41 -0400)]
[emacs] update 2 drones
lib/helm master
v2.9.7-28-g3de72536
lib/ivy master
0.10.0-273-g92efd62
Amin Bandali [Thu, 5 Jul 2018 01:56:54 +0000 (21:56 -0400)]
[emacs] delete exwm and xelb
I've been back on bspwm for a while, and will kely be switching to
i3wm or swaywm next.
Amin Bandali [Thu, 5 Jul 2018 01:53:03 +0000 (21:53 -0400)]
[emacs] use dwwmmm/alloy-mode instead of anlun/alloy-mode
Amin Bandali [Thu, 5 Jul 2018 01:36:36 +0000 (21:36 -0400)]
[emacs] update 15 drones
lib/borg master
v2.0.0-64-g738f749
lib/closql master v0.6.0
lib/company master
0.9.6-37-g1f836b6
lib/emacsql master
2.0.2-19-g3b70e8f
lib/epkg master v3.1.0
lib/flycheck master
31-156-g0995b0bb
lib/general master
e690ef9
lib/helm master
v2.9.7-21-g40a01d97
lib/hydra master
0.14.0-17-g87cc74b
lib/ivy master
0.10.0-271-g0cf0e6d
lib/magit master
2.13.0-70-g1e2f1686
lib/magit-popup master
v2.12.3-4-ge2060cc
lib/notmuch master debian/
0.27-1-7-gfd3c9365
lib/use-package master
2.3-398-g4f0f585
lib/which-key master
v3.3.0-1-g013cdb7
Some were detached, so I checked out their `master'.
Amin Bandali [Thu, 5 Jul 2018 01:27:48 +0000 (21:27 -0400)]
[emacs] add alloy-mode
Amin Bandali [Wed, 27 Jun 2018 04:30:05 +0000 (00:30 -0400)]
[emacs] some convenience bindings
Amin Bandali [Wed, 27 Jun 2018 04:29:41 +0000 (00:29 -0400)]
[emacs] assimilate hydra
Amin Bandali [Wed, 27 Jun 2018 04:28:21 +0000 (00:28 -0400)]
[emacs] update 2 drones
lib/helm master
v2.9.6-61-gb325a2ac
lib/ivy master
0.10.0-267-g716e151
Amin Bandali [Wed, 27 Jun 2018 04:25:58 +0000 (00:25 -0400)]
[emacs] org: export html5, add htmlize for syntax highlighting
Amin Bandali [Sun, 24 Jun 2018 17:53:30 +0000 (13:53 -0400)]
[emacs] update 6 drones
lib/closql master
v0.5.2-4-gdb22efc
lib/evil-escape master
v3.14-5-g73b30bf
lib/helm master
v2.9.6-51-g7c5b3318
lib/magit master
2.13.0-66-gc98ea64a
lib/no-littering master
v0.5.14-2-gf1ac527
lib/which-key master v3.3.0
Amin Bandali [Sun, 24 Jun 2018 17:48:25 +0000 (13:48 -0400)]
[emacs] add evil{,-escape} and general and some keybindings
Amin Bandali [Wed, 20 Jun 2018 21:21:49 +0000 (17:21 -0400)]
[rc/X] set keyboard repeat delay and rate
Amin Bandali [Wed, 20 Jun 2018 02:59:52 +0000 (22:59 -0400)]
[rc/pigeonhole] forgot to include the sieve rules in last commit
Amin Bandali [Wed, 20 Jun 2018 01:48:06 +0000 (21:48 -0400)]
[rc] swap out afew in favour of pigeonhole (dovecot sieve)
Amin Bandali [Wed, 20 Jun 2018 01:09:40 +0000 (21:09 -0400)]
[emacs] change message fqdn, remove webmasters tag as well when spam
Amin Bandali [Tue, 19 Jun 2018 20:24:24 +0000 (16:24 -0400)]
[emacs] update 14 drones
lib/async master
v1.9.3-9-gd17c11e
lib/company master
0.9.6-27-ga913803
lib/epkg master
v3.0.0-33-g81b1a33
lib/flycheck-haskell master
0.8-64-g32877c2
lib/ghub master
v2.0.1-8-gebab22e
lib/haskell-mode master
v13.14-1160-gdd0ea64
lib/helm master
v2.9.6-39-g989e99cd
lib/ivy master
0.10.0-265-gb8c5190
lib/lean-mode master
cd3374c
lib/magit master
2.13.0-62-gc75ac173
lib/markdown-mode master
v2.3-189-ge45b35b
lib/no-littering master
v0.5.14-1-g94a72eb
lib/which-key master
v3.2.0-5-ga4095e8
lib/with-editor master
v2.7.3-1-gfb9fdde
Amin Bandali [Fri, 25 May 2018 23:15:05 +0000 (19:15 -0400)]
[rc/msmtp] update fencepost's expected tls fingerprint
Amin Bandali [Fri, 25 May 2018 23:14:22 +0000 (19:14 -0400)]
[emacs] update 7 drones
lib/async master
v1.9.3-3-gefe6bda
lib/closql master v0.5.2
lib/dante master
1.4-57-g0fd72ef
lib/helm master
v2.9.4-19-ga287768f
lib/ivy master
0.10.0-216-g7df7ab6
lib/magit master
2.12.1-136-g4c6e9ed0
lib/which-key master
v3.2.0-1-g206be7a
Amin Bandali [Fri, 18 May 2018 10:09:39 +0000 (06:09 -0400)]
[rc] bspwm: add XF86AudioMicMute, zsh: add fence alias for fencepost
Amin Bandali [Tue, 15 May 2018 22:33:57 +0000 (18:33 -0400)]
[emacs] update 7 drones
lib/diff-hl master
1.8.4-18-g154c64a
lib/exwm master
0037cba
lib/flycheck master
31-120-g325d5cce
lib/magit-popup master
v2.12.3-3-g60ff82a
lib/notmuch master debian/
0.26.2-2-40-g51f3a078
lib/use-package master
2.3-378-gc03d153
lib/xelb master
0a46cc6
Amin Bandali [Sun, 13 May 2018 14:19:58 +0000 (10:19 -0400)]
[rc] update nix's tls_fingerprint in msmtprc, reorder notmuch addrs
Also, add nixx alias.
Amin Bandali [Sun, 13 May 2018 14:17:50 +0000 (10:17 -0400)]
[rc] add toggle-tablet script for use with my X220t
This script toggles between a 'normal' mode and a 'tablet' mode, doing
a few things:
- rotates the screen using xrandr, so that rotating the physical
display of my X220t would have the laptop's battery on the right
hand side,
- enables touch screen,
- properly rotates the stylus pen and touch screen pointers, and
- toggles between RGB and Vertical BGR sub-pixel order.
Amin Bandali [Sun, 13 May 2018 13:54:10 +0000 (09:54 -0400)]
[rc/bspwm] launch compton on startup, don't auto move firefox to ^1
Amin Bandali [Sun, 13 May 2018 13:52:50 +0000 (09:52 -0400)]
[emacs] don't enable multiple themes at the same time
Amin Bandali [Sun, 13 May 2018 13:52:15 +0000 (09:52 -0400)]
[emacs] properly build and use notmuch along with my settings
Amin Bandali [Wed, 9 May 2018 17:38:40 +0000 (13:38 -0400)]
[rc] enable nix
Amin Bandali [Wed, 9 May 2018 17:38:18 +0000 (13:38 -0400)]
[emacs] assimilate notmuch
Amin Bandali [Wed, 9 May 2018 15:12:04 +0000 (11:12 -0400)]
[rc/rofi-pass] work around Roundcube bug in Firefox
Roundcube appears to be doing some JS magic that reacts badly with
rofi-pass: selecting an entry in rofi-pass by pressing enter causes
Roundcube to move focus from the username field to the password field,
which completely messes up rofi-pass' autotype. Strangely enough, this
doesn't happen in Chromium and I've only seen it in Firefox.
Amin Bandali [Wed, 9 May 2018 13:20:30 +0000 (09:20 -0400)]
[emacs] update 3 drones
lib/borg master
v2.0.0-58-gd386e9e
lib/emacsql master
2.0.2-18-ga96b258
lib/magit-popup master
v2.12.3-2-g8d8ea37
Amin Bandali [Wed, 9 May 2018 01:09:10 +0000 (21:09 -0400)]
[rc/X/xprofile] unlock default keyring only on plasma, launch bspwm on both
Amin Bandali [Wed, 9 May 2018 01:07:54 +0000 (21:07 -0400)]
[rc/redshift] disable comments (redshift uses ; instead of #)
Amin Bandali [Mon, 7 May 2018 04:05:11 +0000 (00:05 -0400)]
[emacs] enable company-mode globally
Amin Bandali [Mon, 7 May 2018 04:03:55 +0000 (00:03 -0400)]
[emacs] assimilate and enable dante and its dependency, lcr
Amin Bandali [Sun, 6 May 2018 19:50:35 +0000 (15:50 -0400)]
[rc/fontconfig] disable problematic automatic tangling comments
They seem to be problematic since the comment in the header comes
before the <?xml version="1.0"?> tag and seems to make fontconfig not
be able to properly process the file.
Amin Bandali [Sun, 6 May 2018 19:49:56 +0000 (15:49 -0400)]
[emacs] assimilate and enable which-key
Amin Bandali [Sun, 6 May 2018 06:02:19 +0000 (02:02 -0400)]
[setup] remove out of date setup file
Amin Bandali [Sun, 6 May 2018 06:00:22 +0000 (02:00 -0400)]
[rc/libinput] migrate my libinput xorg configuration
Amin Bandali [Sun, 6 May 2018 05:51:32 +0000 (01:51 -0400)]
[other] spring cleaning: remove vestigial and old stuff
Amin Bandali [Sun, 6 May 2018 05:33:16 +0000 (01:33 -0400)]
[rc/zsh] add ~/.elan/bin to PATH
Amin Bandali [Sun, 6 May 2018 05:32:47 +0000 (01:32 -0400)]
[rc] add TLP configuration for plasma
TODO: add for enigma
Amin Bandali [Sun, 6 May 2018 05:31:37 +0000 (01:31 -0400)]
[rc] add PowerTOP systemd service
Amin Bandali [Sun, 6 May 2018 04:57:58 +0000 (00:57 -0400)]
[emacs] update 2 drones
lib/helm master
v2.9.2-37-gbe27fc17
lib/magit master
2.12.1-94-g67ea3006
Amin Bandali [Sun, 6 May 2018 01:44:26 +0000 (21:44 -0400)]
[emacs] assimilate flycheck-haskell
Only use 'haskell-hlint checker and disable the other two.
Also, add a copy of hs-lint.el, but leave it disabled (I tried it
before deciding to use flycheck-haskell).
Amin Bandali [Sun, 6 May 2018 01:42:51 +0000 (21:42 -0400)]
[emacs] add flycheck's missing deps (pkg-info & epl) & configure it
Amin Bandali [Sat, 5 May 2018 23:48:58 +0000 (19:48 -0400)]
[emacs] assimilate hlint-refactor
Amin Bandali [Sat, 5 May 2018 21:14:29 +0000 (17:14 -0400)]
[emacs] assimilate haskell-mode
Amin Bandali [Thu, 3 May 2018 19:23:42 +0000 (15:23 -0400)]
[emacs] update 5 drones
lib/company master
0.9.6-24-g779662f
lib/helm master
v2.9.2-27-g34f620ff
lib/ivy master
0.10.0-195-g222c652
lib/lean-mode master
df9c084
lib/magit master
2.12.1-83-g01bb5a4a
Amin Bandali [Thu, 3 May 2018 15:42:06 +0000 (11:42 -0400)]
[emacs] tangle init.org before bootstrapping
By making `tangle-init' a prerequisite of `bootstrap'. Adjust build
instructions accordingly.
Amin Bandali [Thu, 3 May 2018 04:35:29 +0000 (00:35 -0400)]
[emacs] further refine my Emacs' unicode font stack
Ditch Hack and Symbola monospacified. Ubuntu Mono and DejaVu Sans Mono
are more than good enough. Also, force DejaVu Sans Mono for greek
alphabet, since IMHO they look better than Ubuntu Mono's. For example,
DejaVu's `α' looks much better and more distinguishable from `a' than
Ubuntu Mono's.
Amin Bandali [Thu, 3 May 2018 04:34:47 +0000 (00:34 -0400)]
[emacs] remove duplicate post-init message and shorten counsel delay
Amin Bandali [Thu, 3 May 2018 03:54:50 +0000 (23:54 -0400)]
[emacs] disable EXWM
Having used EXWM for a couple of days, I think bspwm provides an
overall more stable and smoother experience, and is more polished.
I really am going to miss EXWM's simulation keys though. Thankfully,
it seems like xkeysnail [0] is a nice solution for that.
[0]: https://github.com/mooz/xkeysnail
Amin Bandali [Thu, 3 May 2018 03:48:39 +0000 (23:48 -0400)]
[rc] increase rofi-light's width a bit
Amin Bandali [Tue, 1 May 2018 05:21:04 +0000 (01:21 -0400)]
[emacs] experiment with EXWM and key bindings
- Binding C-w to cut isn't worth the effort. I close tabs way more
often.
- When launched from within Emacs, Rofi doesn't seem to be able to
properly launch programs. I haven't been able to debug the issue.
- Rofi seems to have a noticeable lag now under EXWM, compared to back
when I was using bspwm. rofi-pass is the main reason I still use
it. So,
TODO: see if I can port rofi-pass to ivy or helm.
- EXWM's `exwm-input-set-key' seems awfully verbose compared to sxhkd.
See if there's a shorter and neater way.
Amin Bandali [Tue, 1 May 2018 05:19:44 +0000 (01:19 -0400)]
[emacs/ivy] allow wrapping around on first and last candidates
Amin Bandali [Tue, 1 May 2018 05:16:55 +0000 (01:16 -0400)]
[rc/x] disable bell
It's especially obnoxious through headphones.
Amin Bandali [Tue, 1 May 2018 00:14:37 +0000 (20:14 -0400)]
[rc/emacs] disable the internal border of Emacs' frame
See https://github.com/ch11ng/exwm/issues/169
Amin Bandali [Mon, 30 Apr 2018 23:56:31 +0000 (19:56 -0400)]
[emacs] unicode font stack around Ubuntu Mono and Hack
Pretty much my ideal font stack for writing Lean.
Amin Bandali [Mon, 30 Apr 2018 22:52:03 +0000 (18:52 -0400)]
[emacs] assimilate lean-mode and dependencies
lib/async master
v1.9.3-1-g04e1a2c
lib/company master
0.9.6-23-gd26ec71
lib/f master v0.20.0
lib/flycheck master
31-118-g0c4bbd1f
lib/helm master
v2.9.2-24-g56039aaf
lib/lean-mode master
6ed7031
lib/popup master
v0.5.3-20-g80829dd
lib/s master
1.12.0-10-g03410e6
Amin Bandali [Mon, 30 Apr 2018 22:46:18 +0000 (18:46 -0400)]
[emacs] disable C-{j,k} bindings in ivy-minibuffer-map for now
Amin Bandali [Mon, 30 Apr 2018 22:37:18 +0000 (18:37 -0400)]
[emacs] stop using EXWM's default config and customize it a bit
Amin Bandali [Mon, 30 Apr 2018 22:36:53 +0000 (18:36 -0400)]
[emacs] display time and battery in mode-line
Amin Bandali [Mon, 30 Apr 2018 15:48:38 +0000 (11:48 -0400)]
[emacs] update 2 drones
Update magit to
v2.12.1-81-g47a054f8
Update use-package to
v2.3-376-g0a2b82a
Amin Bandali [Mon, 30 Apr 2018 05:31:45 +0000 (01:31 -0400)]
[emacs] use fringe-mode with default width
Also, don't tangle the installation source block for now.
Amin Bandali [Mon, 30 Apr 2018 05:21:49 +0000 (01:21 -0400)]
[emacs] more background info
Amin Bandali [Mon, 30 Apr 2018 04:58:41 +0000 (00:58 -0400)]
add some documentation
[emacs] automatically load counsel after 1.5 seconds
Amin Bandali [Mon, 30 Apr 2018 03:46:44 +0000 (23:46 -0400)]
[other] remove some of the out of date stuff
TODO: Makefile rules for setting up my zim-based zsh setup, along with
the zsh plugins I use
Amin Bandali [Mon, 30 Apr 2018 03:43:16 +0000 (23:43 -0400)]
[rc/zsh] migrate my zsh setup to rc.org
Amin Bandali [Mon, 30 Apr 2018 02:34:11 +0000 (22:34 -0400)]
[rc/x] migrate my X.Org configurations
Also, add missing shebangs for previous scripts.
Amin Bandali [Sun, 29 Apr 2018 06:09:23 +0000 (02:09 -0400)]
[rc/{xdg,zathura}] migrate XDG dirs and zathura configs to new setup
Amin Bandali [Sun, 29 Apr 2018 06:00:39 +0000 (02:00 -0400)]
[rc/wp] migrate my little wallpaper changer script to literate setup
Amin Bandali [Sun, 29 Apr 2018 05:51:52 +0000 (01:51 -0400)]
[spacemacs,vim] delete vestigial spacemacs and vim configs
I haven't used either of them in a very long time and the configs are
likely quite outdated.
Amin Bandali [Sun, 29 Apr 2018 05:47:38 +0000 (01:47 -0400)]
[rc/{redshift,rofi{,-pass}}] migrate redshift, rofi, rofi-pass dots
Amin Bandali [Sun, 29 Apr 2018 05:38:26 +0000 (01:38 -0400)]
[rc/{polybar,ranger}] migrate to new literate setup
Amin Bandali [Sun, 29 Apr 2018 05:23:20 +0000 (01:23 -0400)]
[rc/{notmuch,offlineimap}] migrate to new literate setup
Amin Bandali [Sun, 29 Apr 2018 05:10:50 +0000 (01:10 -0400)]
[rc/{mpd,msmtp,ncmpcpp}] migrate to new literate setup
Amin Bandali [Sun, 29 Apr 2018 04:59:30 +0000 (00:59 -0400)]
[rc/gtk,isync] migrate GTK and isync configs
Amin Bandali [Sun, 29 Apr 2018 04:45:56 +0000 (00:45 -0400)]
[rc/getmail,gnupg] migrate to new literate config setup
Amin Bandali [Sun, 29 Apr 2018 04:20:04 +0000 (00:20 -0400)]
[rc/fun] migrate fun scripts :)
Amin Bandali [Sun, 29 Apr 2018 04:14:25 +0000 (00:14 -0400)]
[rc/{dunst,fontconfig}] migrate dunst & fontconfig configs, clean up
Amin Bandali [Sun, 29 Apr 2018 04:05:14 +0000 (00:05 -0400)]
[rc/{afew,bspwm}] migrate afew and bspwm (and sxhkd) configs
Amin Bandali [Sun, 29 Apr 2018 04:02:51 +0000 (00:02 -0400)]
[emacs] remove previous [experimental] emacs config
It was based on straight.el.
Amin Bandali [Sun, 29 Apr 2018 00:54:07 +0000 (20:54 -0400)]
[rc] add latexmk config and clean up
Amin Bandali [Sun, 29 Apr 2018 00:35:36 +0000 (20:35 -0400)]
[rc] add rc.org for centralized literate configs
Starting with my git configuration.
Amin Bandali [Sun, 29 Apr 2018 00:33:31 +0000 (20:33 -0400)]
[make] add ta and ti Makefile rules for more convenient tangle/build
Amin Bandali [Sun, 29 Apr 2018 00:31:24 +0000 (20:31 -0400)]
[emacs] assimilate and enable EXWM
Amin Bandali [Sat, 28 Apr 2018 20:34:58 +0000 (16:34 -0400)]
[emacs] enable Ivy and friends
Amin Bandali [Sat, 28 Apr 2018 20:22:36 +0000 (16:22 -0400)]
[emacs] enable exec-path-from-shell
Amin Bandali [Sat, 28 Apr 2018 20:09:22 +0000 (16:09 -0400)]
[emacs] fix post initialization TOC link on GitHub
GitHub's Org mode renderer doesn't use the CUSTOM_ID property for
generating internal in-file links like Org mode itself does. So, at
least for now, the internal link has to match the heading's full name.
Amin Bandali [Sat, 28 Apr 2018 19:58:15 +0000 (15:58 -0400)]
[emacs] add Borg's layer/essentials init, with some of my stuff
Amin Bandali [Thu, 26 Apr 2018 06:46:59 +0000 (02:46 -0400)]
[emacs] add Borg's layer/essentials current submodules
From https://github.com/emacscollective/emacs.g/blob/
e2f9c16c6f8bc830b8ae3d8bf376855c864dc5bd/.gitmodules
Amin Bandali [Thu, 26 Apr 2018 06:17:30 +0000 (02:17 -0400)]
[emacs] prepare for Borg-ification
Amin Bandali [Thu, 26 Apr 2018 06:15:45 +0000 (02:15 -0400)]
[pentadactyl] remove configuration and vestigial submodule
I've been using Vimium-FF and previously VimFx after pentadactyl
stopped working properly.
Amin Bandali [Thu, 26 Apr 2018 06:04:38 +0000 (02:04 -0400)]
[emacs] use exwm-randr so that exwm would pick up screen rotations
Amin Bandali [Thu, 26 Apr 2018 06:03:51 +0000 (02:03 -0400)]
[bspwm,x] a few minor changes
TODO: proper hostname-based settings
Amin Bandali [Sun, 22 Apr 2018 02:16:17 +0000 (22:16 -0400)]
[emacs] enable and use exwm's system tray