Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | [emacs] don't enable multiple themes at the same time | Amin Bandali | 2018-05-13 | 1 | -0/+8 | |
| | ||||||
* | [emacs] properly build and use notmuch along with my settings | Amin Bandali | 2018-05-13 | 1 | -0/+184 | |
| | ||||||
* | [emacs] enable company-mode globally | Amin Bandali | 2018-05-07 | 1 | -0/+19 | |
| | ||||||
* | [emacs] assimilate and enable dante and its dependency, lcr | Amin Bandali | 2018-05-07 | 1 | -0/+9 | |
| | ||||||
* | [emacs] assimilate and enable which-key | Amin Bandali | 2018-05-06 | 1 | -0/+13 | |
| | ||||||
* | [emacs] assimilate flycheck-haskell | Amin Bandali | 2018-05-05 | 1 | -1/+153 | |
| | | | | | | | 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 | Amin Bandali | 2018-05-05 | 1 | -0/+11 | |
| | ||||||
* | [emacs] assimilate hlint-refactor | Amin Bandali | 2018-05-05 | 1 | -1/+17 | |
| | ||||||
* | [emacs] assimilate haskell-mode | Amin Bandali | 2018-05-05 | 1 | -1/+10 | |
| | ||||||
* | [emacs] tangle init.org before bootstrapping | Amin Bandali | 2018-05-03 | 1 | -1/+0 | |
| | | | | | By making `tangle-init' a prerequisite of `bootstrap'. Adjust build instructions accordingly. | |||||
* | [emacs] further refine my Emacs' unicode font stack | Amin Bandali | 2018-05-03 | 1 | -6/+17 | |
| | | | | | | | | 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 | Amin Bandali | 2018-05-03 | 1 | -5/+1 | |
| | ||||||
* | [emacs] disable EXWM | Amin Bandali | 2018-05-02 | 1 | -2/+2 | |
| | | | | | | | | | | 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 | |||||
* | [emacs] experiment with EXWM and key bindings | Amin Bandali | 2018-05-01 | 1 | -9/+152 | |
| | | | | | | | | | | | | | - 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 | Amin Bandali | 2018-05-01 | 1 | -0/+1 | |
| | ||||||
* | [emacs] unicode font stack around Ubuntu Mono and Hack | Amin Bandali | 2018-04-30 | 1 | -2/+31 | |
| | | | | Pretty much my ideal font stack for writing Lean. | |||||
* | [emacs] assimilate lean-mode and dependencies | Amin Bandali | 2018-04-30 | 1 | -0/+8 | |
| | | | | | | | | | | | 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 | Amin Bandali | 2018-04-30 | 1 | -2/+2 | |
| | ||||||
* | [emacs] stop using EXWM's default config and customize it a bit | Amin Bandali | 2018-04-30 | 1 | -2/+71 | |
| | ||||||
* | [emacs] display time and battery in mode-line | Amin Bandali | 2018-04-30 | 1 | -0/+20 | |
| | ||||||
* | [emacs] use fringe-mode with default width | Amin Bandali | 2018-04-30 | 1 | -1/+2 | |
| | | | | Also, don't tangle the installation source block for now. | |||||
* | [emacs] more background info | Amin Bandali | 2018-04-30 | 1 | -3/+17 | |
| | ||||||
* | add some documentation | Amin Bandali | 2018-04-30 | 1 | -0/+14 | |
| | | | | [emacs] automatically load counsel after 1.5 seconds | |||||
* | [emacs] assimilate and enable EXWM | Amin Bandali | 2018-04-28 | 1 | -11/+12 | |
| | ||||||
* | [emacs] enable Ivy and friends | Amin Bandali | 2018-04-28 | 1 | -23/+23 | |
| | ||||||
* | [emacs] enable exec-path-from-shell | Amin Bandali | 2018-04-28 | 1 | -10/+9 | |
| | ||||||
* | [emacs] fix post initialization TOC link on GitHub | Amin Bandali | 2018-04-28 | 1 | -2/+2 | |
| | | | | | | 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 | Amin Bandali | 2018-04-28 | 1 | -0/+659 | |