summaryrefslogtreecommitdiffstats
path: root/init.org (follow)
Commit message (Collapse)AuthorAgeFilesLines
...
* [emacs] assimilate Proof General (for Coq)Amin Bandali2018-07-061-0/+7
|
* [emacs/alloy-mode] use indentation offset of 2 (instead of 3)Amin Bandali2018-07-061-1/+2
|
* [emacs] add alloy-modeAmin Bandali2018-07-041-0/+6
|
* [emacs] some convenience bindingsAmin Bandali2018-06-271-1/+2
|
* [emacs] org: export html5, add htmlize for syntax highlightingAmin Bandali2018-06-271-1/+4
|
* [emacs] add evil{,-escape} and general and some keybindingsAmin Bandali2018-06-241-1/+74
|
* [emacs] change message fqdn, remove webmasters tag as well when spamAmin Bandali2018-06-191-3/+3
|
* [emacs] don't enable multiple themes at the same timeAmin Bandali2018-05-131-0/+8
|
* [emacs] properly build and use notmuch along with my settingsAmin Bandali2018-05-131-0/+184
|
* [emacs] enable company-mode globallyAmin Bandali2018-05-071-0/+19
|
* [emacs] assimilate and enable dante and its dependency, lcrAmin Bandali2018-05-071-0/+9
|
* [emacs] assimilate and enable which-keyAmin Bandali2018-05-061-0/+13
|
* [emacs] assimilate flycheck-haskellAmin Bandali2018-05-051-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 itAmin Bandali2018-05-051-0/+11
|
* [emacs] assimilate hlint-refactorAmin Bandali2018-05-051-1/+17
|
* [emacs] assimilate haskell-modeAmin Bandali2018-05-051-1/+10
|
* [emacs] tangle init.org before bootstrappingAmin Bandali2018-05-031-1/+0
| | | | | By making `tangle-init' a prerequisite of `bootstrap'. Adjust build instructions accordingly.
* [emacs] further refine my Emacs' unicode font stackAmin Bandali2018-05-031-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 delayAmin Bandali2018-05-031-5/+1
|
* [emacs] disable EXWMAmin Bandali2018-05-021-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 bindingsAmin Bandali2018-05-011-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 candidatesAmin Bandali2018-05-011-0/+1
|
* [emacs] unicode font stack around Ubuntu Mono and HackAmin Bandali2018-04-301-2/+31
| | | | Pretty much my ideal font stack for writing Lean.
* [emacs] assimilate lean-mode and dependenciesAmin Bandali2018-04-301-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 nowAmin Bandali2018-04-301-2/+2
|
* [emacs] stop using EXWM's default config and customize it a bitAmin Bandali2018-04-301-2/+71
|
* [emacs] display time and battery in mode-lineAmin Bandali2018-04-301-0/+20
|
* [emacs] use fringe-mode with default widthAmin Bandali2018-04-301-1/+2
| | | | Also, don't tangle the installation source block for now.
* [emacs] more background infoAmin Bandali2018-04-301-3/+17
|
* add some documentationAmin Bandali2018-04-301-0/+14
| | | | [emacs] automatically load counsel after 1.5 seconds
* [emacs] assimilate and enable EXWMAmin Bandali2018-04-281-11/+12
|
* [emacs] enable Ivy and friendsAmin Bandali2018-04-281-23/+23
|
* [emacs] enable exec-path-from-shellAmin Bandali2018-04-281-10/+9
|
* [emacs] fix post initialization TOC link on GitHubAmin Bandali2018-04-281-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 stuffAmin Bandali2018-04-281-0/+659
generated by cgit v1.2.3-60-g2f50 (git 2.42.0) at 2024-11-27 01:36:35 +0000