~bandali/configs
6 years ago[emacs] assimilate flycheck-haskell
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).

6 years ago[emacs] add flycheck's missing deps (pkg-info & epl) & configure it
Amin Bandali [Sun, 6 May 2018 01:42:51 +0000 (21:42 -0400)]
[emacs] add flycheck's missing deps (pkg-info & epl) & configure it

6 years ago[emacs] assimilate hlint-refactor
Amin Bandali [Sat, 5 May 2018 23:48:58 +0000 (19:48 -0400)]
[emacs] assimilate hlint-refactor

6 years ago[emacs] assimilate haskell-mode
Amin Bandali [Sat, 5 May 2018 21:14:29 +0000 (17:14 -0400)]
[emacs] assimilate haskell-mode

6 years ago[emacs] update 5 drones
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

6 years ago[emacs] tangle init.org before bootstrapping
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.

6 years ago[emacs] further refine my Emacs' unicode font stack
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.

6 years ago[emacs] remove duplicate post-init message and shorten counsel delay
Amin Bandali [Thu, 3 May 2018 04:34:47 +0000 (00:34 -0400)]
[emacs] remove duplicate post-init message and shorten counsel delay

6 years ago[emacs] disable EXWM
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

6 years ago[rc] increase rofi-light's width a bit
Amin Bandali [Thu, 3 May 2018 03:48:39 +0000 (23:48 -0400)]
[rc] increase rofi-light's width a bit

6 years ago[emacs] experiment with EXWM and key bindings
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.

6 years ago[emacs/ivy] allow wrapping around on first and last candidates
Amin Bandali [Tue, 1 May 2018 05:19:44 +0000 (01:19 -0400)]
[emacs/ivy] allow wrapping around on first and last candidates

6 years ago[rc/x] disable bell
Amin Bandali [Tue, 1 May 2018 05:16:55 +0000 (01:16 -0400)]
[rc/x] disable bell

It's especially obnoxious through headphones.

6 years ago[rc/emacs] disable the internal border of Emacs' frame
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

6 years ago[emacs] unicode font stack around Ubuntu Mono and Hack
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.

6 years ago[emacs] assimilate lean-mode and dependencies
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

6 years ago[emacs] disable C-{j,k} bindings in ivy-minibuffer-map for now
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

6 years ago[emacs] stop using EXWM's default config and customize it a bit
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

6 years ago[emacs] display time and battery in mode-line
Amin Bandali [Mon, 30 Apr 2018 22:36:53 +0000 (18:36 -0400)]
[emacs] display time and battery in mode-line

6 years ago[emacs] update 2 drones
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

6 years ago[emacs] use fringe-mode with default width
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.

6 years ago[emacs] more background info
Amin Bandali [Mon, 30 Apr 2018 05:21:49 +0000 (01:21 -0400)]
[emacs] more background info

6 years agoadd some documentation
Amin Bandali [Mon, 30 Apr 2018 04:58:41 +0000 (00:58 -0400)]
add some documentation

[emacs] automatically load counsel after 1.5 seconds

6 years ago[other] remove some of the out of date stuff
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

6 years ago[rc/zsh] migrate my zsh setup to rc.org
Amin Bandali [Mon, 30 Apr 2018 03:43:16 +0000 (23:43 -0400)]
[rc/zsh] migrate my zsh setup to rc.org

6 years ago[rc/x] migrate my X.Org configurations
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.

6 years ago[rc/{xdg,zathura}] migrate XDG dirs and zathura configs to new setup
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

6 years ago[rc/wp] migrate my little wallpaper changer script to literate 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

6 years ago[spacemacs,vim] delete vestigial spacemacs and vim configs
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.

6 years ago[rc/{redshift,rofi{,-pass}}] migrate redshift, rofi, rofi-pass dots
Amin Bandali [Sun, 29 Apr 2018 05:47:38 +0000 (01:47 -0400)]
[rc/{redshift,rofi{,-pass}}] migrate redshift, rofi, rofi-pass dots

6 years ago[rc/{polybar,ranger}] migrate to new literate setup
Amin Bandali [Sun, 29 Apr 2018 05:38:26 +0000 (01:38 -0400)]
[rc/{polybar,ranger}] migrate to new literate setup

6 years ago[rc/{notmuch,offlineimap}] 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

6 years ago[rc/{mpd,msmtp,ncmpcpp}] 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

6 years ago[rc/gtk,isync] migrate GTK and isync configs
Amin Bandali [Sun, 29 Apr 2018 04:59:30 +0000 (00:59 -0400)]
[rc/gtk,isync] migrate GTK and isync configs

6 years ago[rc/getmail,gnupg] migrate to new literate config setup
Amin Bandali [Sun, 29 Apr 2018 04:45:56 +0000 (00:45 -0400)]
[rc/getmail,gnupg] migrate to new literate config setup

6 years ago[rc/fun] migrate fun scripts :)
Amin Bandali [Sun, 29 Apr 2018 04:20:04 +0000 (00:20 -0400)]
[rc/fun] migrate fun scripts :)

6 years ago[rc/{dunst,fontconfig}] migrate dunst & fontconfig configs, clean up
Amin Bandali [Sun, 29 Apr 2018 04:14:25 +0000 (00:14 -0400)]
[rc/{dunst,fontconfig}] migrate dunst & fontconfig configs, clean up

6 years ago[rc/{afew,bspwm}] migrate afew and bspwm (and sxhkd) configs
Amin Bandali [Sun, 29 Apr 2018 04:05:14 +0000 (00:05 -0400)]
[rc/{afew,bspwm}] migrate afew and bspwm (and sxhkd) configs

6 years ago[emacs] remove previous [experimental] emacs config
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.

6 years ago[rc] add latexmk config and clean up
Amin Bandali [Sun, 29 Apr 2018 00:54:07 +0000 (20:54 -0400)]
[rc] add latexmk config and clean up

6 years ago[rc] add rc.org for centralized literate configs
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.

6 years ago[make] add ta and ti Makefile rules for more convenient tangle/build
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

6 years ago[emacs] assimilate and enable EXWM
Amin Bandali [Sun, 29 Apr 2018 00:31:24 +0000 (20:31 -0400)]
[emacs] assimilate and enable EXWM

6 years ago[emacs] enable Ivy and friends
Amin Bandali [Sat, 28 Apr 2018 20:34:58 +0000 (16:34 -0400)]
[emacs] enable Ivy and friends

6 years ago[emacs] enable exec-path-from-shell
Amin Bandali [Sat, 28 Apr 2018 20:22:36 +0000 (16:22 -0400)]
[emacs] enable exec-path-from-shell

6 years ago[emacs] fix post initialization TOC link on GitHub
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.

6 years ago[emacs] add Borg's layer/essentials init, with some of my stuff
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

6 years ago[emacs] add Borg's layer/essentials current submodules
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

6 years ago[emacs] prepare for Borg-ification
Amin Bandali [Thu, 26 Apr 2018 06:17:30 +0000 (02:17 -0400)]
[emacs] prepare for Borg-ification

6 years ago[pentadactyl] remove configuration and vestigial submodule
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.

6 years ago[emacs] use exwm-randr so that exwm would pick up screen rotations
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

6 years ago[bspwm,x] a few minor changes
Amin Bandali [Thu, 26 Apr 2018 06:03:51 +0000 (02:03 -0400)]
[bspwm,x] a few minor changes

TODO: proper hostname-based settings

6 years ago[emacs] enable and use exwm's system tray
Amin Bandali [Sun, 22 Apr 2018 02:16:17 +0000 (22:16 -0400)]
[emacs] enable and use exwm's system tray

6 years ago[emacs] update straight versions lockfile
Amin Bandali [Sun, 22 Apr 2018 01:48:31 +0000 (21:48 -0400)]
[emacs] update straight versions lockfile

Forgot to include this in the last commit.

6 years ago[emacs] add core packages
Amin Bandali [Sun, 22 Apr 2018 01:15:47 +0000 (21:15 -0400)]
[emacs] add core packages

6 years ago[emacs] add Core to the TOC, move the backups section to core
Amin Bandali [Sun, 22 Apr 2018 00:17:08 +0000 (20:17 -0400)]
[emacs] add Core to the TOC, move the backups section to core

6 years ago[emacs] updates to initial setup and core defaults
Amin Bandali [Sun, 22 Apr 2018 00:11:40 +0000 (20:11 -0400)]
[emacs] updates to initial setup and core defaults

6 years ago[emacs] add naming conventions
Amin Bandali [Sat, 21 Apr 2018 15:55:11 +0000 (11:55 -0400)]
[emacs] add naming conventions

6 years agoUse my initials, ab, for prefixing my functions and vars
Amin Bandali [Sat, 21 Apr 2018 15:21:02 +0000 (11:21 -0400)]
Use my initials, ab, for prefixing my functions and vars

6 years agoadd CUSOTM_IDs to make toc links work in Emacs
Amin Bandali [Sat, 21 Apr 2018 01:34:41 +0000 (21:34 -0400)]
add CUSOTM_IDs to make toc links work in Emacs

6 years agoadd toc
Amin Bandali [Sat, 21 Apr 2018 01:14:22 +0000 (21:14 -0400)]
add toc

6 years agobetter backup settings
Amin Bandali [Sat, 21 Apr 2018 01:08:28 +0000 (21:08 -0400)]
better backup settings

6 years agoadd straight.el, use-package, and no-littering
Amin Bandali [Sat, 21 Apr 2018 01:00:30 +0000 (21:00 -0400)]
add straight.el, use-package, and no-littering

6 years agoset `custom-file' and load it
Amin Bandali [Fri, 20 Apr 2018 23:17:14 +0000 (19:17 -0400)]
set `custom-file' and load it

6 years agooptimize and measure emacs startup time, saner indentation for org src blocks
Amin Bandali [Fri, 20 Apr 2018 23:02:09 +0000 (19:02 -0400)]
optimize and measure emacs startup time, saner indentation for org src blocks

6 years agoadd stub for new org-based Emacs configuration
Amin Bandali [Fri, 20 Apr 2018 22:13:10 +0000 (18:13 -0400)]
add stub for new org-based Emacs configuration

6 years ago[latexmk] use zathura instead of okular
Amin Bandali [Thu, 19 Apr 2018 20:31:46 +0000 (16:31 -0400)]
[latexmk] use zathura instead of okular

6 years agoterrible commit message incoming: many changes
Amin Bandali [Mon, 16 Apr 2018 19:52:06 +0000 (15:52 -0400)]
terrible commit message incoming: many changes

6 years agoa few small tweaks
Amin Bandali [Sat, 17 Mar 2018 14:13:13 +0000 (10:13 -0400)]
a few small tweaks

6 years agoadd redshift
Amin Bandali [Tue, 20 Feb 2018 03:37:02 +0000 (22:37 -0500)]
add redshift

6 years agogtk3: update settings (via kde-gtk-config); zsh: add ace alias
Amin Bandali [Tue, 20 Feb 2018 03:13:04 +0000 (22:13 -0500)]
gtk3: update settings (via kde-gtk-config); zsh: add ace alias

6 years agozsh: more convenience aliases
Amin Bandali [Sun, 11 Feb 2018 02:53:40 +0000 (21:53 -0500)]
zsh: more convenience aliases

6 years agobspwm: more floating rules
Amin Bandali [Sun, 11 Feb 2018 02:53:16 +0000 (21:53 -0500)]
bspwm: more floating rules

6 years agosxhkd|rofi: fancier prompts for program launcher and window switcher
Amin Bandali [Sun, 11 Feb 2018 02:52:23 +0000 (21:52 -0500)]
sxhkd|rofi: fancier prompts for program launcher and window switcher

6 years agozathura: finer zoom step
Amin Bandali [Sun, 11 Feb 2018 02:52:05 +0000 (21:52 -0500)]
zathura: finer zoom step

6 years agonotmuch: ignore .uidvalidity and .mbsyncstate files
Amin Bandali [Sun, 11 Feb 2018 02:51:44 +0000 (21:51 -0500)]
notmuch: ignore .uidvalidity and .mbsyncstate files

6 years agoadd msmtp, update isync & notmuch dots to handle my uwaterloo email
Amin Bandali [Fri, 19 Jan 2018 03:16:40 +0000 (22:16 -0500)]
add msmtp, update isync & notmuch dots to handle my uwaterloo email

6 years agorofi-light: rofi-based pop up for changing backlight brightness
Amin Bandali [Mon, 1 Jan 2018 04:25:42 +0000 (23:25 -0500)]
rofi-light: rofi-based pop up for changing backlight brightness

Requires light (light-git on AUR) and rofi

P.S. Happy New Year :)

6 years agorofi: switch to Ubuntu Mono font
Amin Bandali [Mon, 1 Jan 2018 04:22:48 +0000 (23:22 -0500)]
rofi: switch to Ubuntu Mono font

6 years agonotmuch: handle new mailing lists
Amin Bandali [Thu, 28 Dec 2017 06:45:29 +0000 (01:45 -0500)]
notmuch: handle new mailing lists

6 years agocompton: make it more stable
Amin Bandali [Thu, 28 Dec 2017 06:45:04 +0000 (01:45 -0500)]
compton: make it more stable

6 years agozsh: use built-in `time`, and enable (uncomment) nix
Amin Bandali [Tue, 26 Dec 2017 00:55:45 +0000 (19:55 -0500)]
zsh: use built-in `time`, and enable (uncomment) nix

6 years agourxvt: I've been using firefox-nightly for a whlie now
Amin Bandali [Tue, 26 Dec 2017 00:55:29 +0000 (19:55 -0500)]
urxvt: I've been using firefox-nightly for a whlie now

6 years agocompton: disable fancy effects and such, optimize for performance
Amin Bandali [Tue, 26 Dec 2017 00:54:54 +0000 (19:54 -0500)]
compton: disable fancy effects and such, optimize for performance

6 years agoSmall tweaks
Amin Bandali [Sat, 23 Dec 2017 00:10:09 +0000 (19:10 -0500)]
Small tweaks

6 years agoBack to urxvt; other updates
Amin Bandali [Wed, 20 Dec 2017 20:19:01 +0000 (15:19 -0500)]
Back to urxvt; other updates

6 years agoUpdates
Amin Bandali [Wed, 13 Dec 2017 19:09:45 +0000 (14:09 -0500)]
Updates

7 years agoUpdate tlp's configuration file
Amin Bandali [Sat, 26 Aug 2017 20:00:29 +0000 (16:00 -0400)]
Update tlp's configuration file

7 years agoSmall rofi{,-pass} updates
Amin Bandali [Sat, 26 Aug 2017 19:59:52 +0000 (15:59 -0400)]
Small rofi{,-pass} updates

7 years agoGNU Emacs and URxvt font updates
Amin Bandali [Sat, 26 Aug 2017 19:42:37 +0000 (15:42 -0400)]
GNU Emacs and URxvt font updates

7 years agoGeneric updates
Amin Bandali [Sat, 26 Aug 2017 19:41:59 +0000 (15:41 -0400)]
Generic updates

7 years agoAdd my little wallpaper/theme switcher
Amin Bandali [Mon, 31 Jul 2017 00:51:07 +0000 (20:51 -0400)]
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.

7 years agoLittle script for unlocking Default GNOME Keyring
Amin Bandali [Mon, 31 Jul 2017 00:46:53 +0000 (20:46 -0400)]
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.

7 years agoLots of Xresources-style font comments
Amin Bandali [Mon, 31 Jul 2017 00:41:42 +0000 (20:41 -0400)]
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.

7 years agorofi-pass tweaks
Amin Bandali [Mon, 31 Jul 2017 00:40:45 +0000 (20:40 -0400)]
rofi-pass tweaks

7 years agoZsh and ZIM changes
Amin Bandali [Mon, 31 Jul 2017 00:39:57 +0000 (20:39 -0400)]
Zsh and ZIM changes

7 years agoMinor tweaks concerning my bspwm setup on Arch
Amin Bandali [Mon, 31 Jul 2017 00:38:59 +0000 (20:38 -0400)]
Minor tweaks concerning my bspwm setup on Arch

7 years ago[zathura] Copy to clipboard
Amin Bandali [Mon, 31 Jul 2017 00:35:55 +0000 (20:35 -0400)]
[zathura] Copy to clipboard

7 years ago[compton] Disable menu transparency
Amin Bandali [Mon, 31 Jul 2017 00:35:16 +0000 (20:35 -0400)]
[compton] Disable menu transparency

7 years ago[notmuch] Properly tag emails from mailing lists
Amin Bandali [Mon, 31 Jul 2017 00:32:40 +0000 (20:32 -0400)]
[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`.