[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).

[emacs] add flycheck's missing deps (pkg-info & epl) & configure it

[emacs] assimilate hlint-refactor

[emacs] assimilate haskell-mode

[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

[emacs] tangle init.org before bootstrapping

By making `tangle-init' a prerequisite of `bootstrap'. Adjust build
instructions accordingly.

[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.

[emacs] remove duplicate post-init message and shorten counsel delay

[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

[rc] increase rofi-light's width a bit

[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.

[emacs/ivy] allow wrapping around on first and last candidates

[rc/x] disable bell

It's especially obnoxious through headphones.

[rc/emacs] disable the internal border of Emacs' frame

See https://github.com/ch11ng/exwm/issues/169

[emacs] unicode font stack around Ubuntu Mono and Hack

Pretty much my ideal font stack for writing Lean.

[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

[emacs] disable C-{j,k} bindings in ivy-minibuffer-map for now

[emacs] stop using EXWM's default config and customize it a bit

[emacs] display time and battery in mode-line

[emacs] update 2 drones

Update magit       to v2.12.1-81-g47a054f8
Update use-package to v2.3-376-g0a2b82a

[emacs] use fringe-mode with default width

Also, don't tangle the installation source block for now.

[emacs] more background info

add some documentation

[emacs] automatically load counsel after 1.5 seconds

[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

[rc/zsh] migrate my zsh setup to rc.org

[rc/x] migrate my X.Org configurations

Also, add missing shebangs for previous scripts.

[rc/{xdg,zathura}] migrate XDG dirs and zathura configs to new setup

[rc/wp] migrate my little wallpaper changer script to literate setup

[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.

[rc/{redshift,rofi{,-pass}}] migrate redshift, rofi, rofi-pass dots

[rc/{polybar,ranger}] migrate to new literate setup

[rc/{notmuch,offlineimap}] migrate to new literate setup

[rc/{mpd,msmtp,ncmpcpp}] migrate to new literate setup

[rc/gtk,isync] migrate GTK and isync configs

[rc/getmail,gnupg] migrate to new literate config setup

[rc/fun] migrate fun scripts :)

[rc/{dunst,fontconfig}] migrate dunst & fontconfig configs, clean up

[rc/{afew,bspwm}] migrate afew and bspwm (and sxhkd) configs

[emacs] remove previous [experimental] emacs config

It was based on straight.el.

[rc] add latexmk config and clean up

[rc] add rc.org for centralized literate configs

Starting with my git configuration.

[make] add ta and ti Makefile rules for more convenient tangle/build

[emacs] assimilate and enable EXWM

[emacs] enable Ivy and friends

[emacs] enable exec-path-from-shell

[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.

[emacs] add Borg's layer/essentials init, with some of my stuff

[emacs] add Borg's layer/essentials current submodules

From https://github.com/emacscollective/emacs.g/blob/e2f9c16c6f8bc830b8ae3d8bf376855c864dc5bd/.gitmodules

[emacs] prepare for Borg-ification

[pentadactyl] remove configuration and vestigial submodule

I've been using Vimium-FF and previously VimFx after pentadactyl
stopped working properly.

[emacs] use exwm-randr so that exwm would pick up screen rotations

[bspwm,x] a few minor changes

TODO: proper hostname-based settings

[emacs] enable and use exwm's system tray

[emacs] update straight versions lockfile

Forgot to include this in the last commit.

[emacs] add core packages

[emacs] add Core to the TOC, move the backups section to core

[emacs] updates to initial setup and core defaults

[emacs] add naming conventions

Use my initials, ab, for prefixing my functions and vars

add CUSOTM_IDs to make toc links work in Emacs

add toc

better backup settings

add straight.el, use-package, and no-littering

set `custom-file' and load it

optimize and measure emacs startup time, saner indentation for org src blocks

add stub for new org-based Emacs configuration

[latexmk] use zathura instead of okular

terrible commit message incoming: many changes

a few small tweaks

add redshift

gtk3: update settings (via kde-gtk-config); zsh: add ace alias

zsh: more convenience aliases

bspwm: more floating rules

sxhkd|rofi: fancier prompts for program launcher and window switcher

zathura: finer zoom step

notmuch: ignore .uidvalidity and .mbsyncstate files

add msmtp, update isync & notmuch dots to handle my uwaterloo email

rofi-light: rofi-based pop up for changing backlight brightness

Requires light (light-git on AUR) and rofi

P.S. Happy New Year :)

rofi: switch to Ubuntu Mono font

notmuch: handle new mailing lists

compton: make it more stable

zsh: use built-in `time`, and enable (uncomment) nix

urxvt: I've been using firefox-nightly for a whlie now

compton: disable fancy effects and such, optimize for performance

Small tweaks

Back to urxvt; other updates

Updates

Update tlp's configuration file

Small rofi{,-pass} updates

GNU Emacs and URxvt font updates

Generic updates

Add my little wallpaper/theme switcher

Uses systemd timers to automatically change the
wallpaper and switch my Xresources themes between
light and dark modes at 7am and 9pm.

Little script for unlocking Default GNOME Keyring

Retrieve the password of the Default keyring from
the Login keyring and use it to unlock the Default
keyring.

Lots of Xresources-style font comments

I can't be bothered to remember or write from
scratch my Xresources font settings, so I tend
to accumulate them and later uncomment whichever
one I'd like to use and comment the rest.

rofi-pass tweaks

Zsh and ZIM changes

Minor tweaks concerning my bspwm setup on Arch

[zathura] Copy to clipboard

[compton] Disable menu transparency

[notmuch] Properly tag emails from mailing lists

I tried to do this with `afew` but couldn't get it
to work reliably, so I just went with `notmuch tag`.