summaryrefslogtreecommitdiffstats
path: root/lib/flycheck-haskell (unfollow)
Commit message (Collapse)AuthorFilesLines
2018-06-27[emacs] org: export html5, add htmlize for syntax highlightingAmin Bandali3-1/+7
2018-06-24[emacs] update 6 dronesAmin Bandali6-0/+0
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
2018-06-24[emacs] add evil{,-escape} and general and some keybindingsAmin Bandali5-1/+83
2018-06-20[rc/X] set keyboard repeat delay and rateAmin Bandali1-0/+1
2018-06-19[rc/pigeonhole] forgot to include the sieve rules in last commitAmin Bandali1-0/+47
2018-06-19[rc] swap out afew in favour of pigeonhole (dovecot sieve)Amin Bandali1-52/+32
2018-06-19[emacs] change message fqdn, remove webmasters tag as well when spamAmin Bandali1-3/+3
2018-06-19[emacs] update 14 dronesAmin Bandali14-0/+0
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
2018-05-25[rc/msmtp] update fencepost's expected tls fingerprintAmin Bandali1-1/+1
2018-05-25[emacs] update 7 dronesAmin Bandali7-0/+0
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
2018-05-18[rc] bspwm: add XF86AudioMicMute, zsh: add fence alias for fencepostAmin Bandali1-1/+4
2018-05-15[emacs] update 7 dronesAmin Bandali7-0/+0
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
2018-05-13[rc] update nix's tls_fingerprint in msmtprc, reorder notmuch addrsAmin Bandali1-2/+3
Also, add nixx alias.
2018-05-13[rc] add toggle-tablet script for use with my X220tAmin Bandali1-0/+41
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.
2018-05-13[rc/bspwm] launch compton on startup, don't auto move firefox to ^1Amin Bandali1-2/+2
2018-05-13[emacs] don't enable multiple themes at the same timeAmin Bandali1-0/+8
2018-05-13[emacs] properly build and use notmuch along with my settingsAmin Bandali2-0/+190
2018-05-09[rc] enable nixAmin Bandali1-2/+1
2018-05-09[emacs] assimilate notmuchAmin Bandali2-0/+3
2018-05-09[rc/rofi-pass] work around Roundcube bug in FirefoxAmin Bandali1-1/+1
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.
2018-05-09[emacs] update 3 dronesAmin Bandali3-0/+0
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
2018-05-08[rc/X/xprofile] unlock default keyring only on plasma, launch bspwm on bothAmin Bandali1-6/+3
2018-05-08[rc/redshift] disable comments (redshift uses ; instead of #)Amin Bandali1-1/+1
2018-05-07[emacs] enable company-mode globallyAmin Bandali1-0/+19
2018-05-07[emacs] assimilate and enable dante and its dependency, lcrAmin Bandali4-0/+15
2018-05-06[rc/fontconfig] disable problematic automatic tangling commentsAmin Bandali1-1/+1
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.
2018-05-06[emacs] assimilate and enable which-keyAmin Bandali3-0/+16
2018-05-06[setup] remove out of date setup fileAmin Bandali1-112/+0
2018-05-06[rc/libinput] migrate my libinput xorg configurationAmin Bandali1-0/+16
2018-05-06[other] spring cleaning: remove vestigial and old stuffAmin Bandali7-341/+0
2018-05-06[rc/zsh] add ~/.elan/bin to PATHAmin Bandali1-1/+1
2018-05-06[rc] add TLP configuration for plasmaAmin Bandali1-0/+316
TODO: add for enigma
2018-05-06[rc] add PowerTOP systemd serviceAmin Bandali1-0/+17
2018-05-06[emacs] update 2 dronesAmin Bandali2-0/+0
lib/helm master v2.9.2-37-gbe27fc17 lib/magit master 2.12.1-94-g67ea3006
2018-05-05[emacs] assimilate flycheck-haskellAmin Bandali3-1/+156
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).
2018-05-05[emacs] add flycheck's missing deps (pkg-info & epl) & configure itAmin Bandali4-0/+17
2018-05-05[emacs] assimilate hlint-refactorAmin Bandali3-1/+20
2018-05-05[emacs] assimilate haskell-modeAmin Bandali3-1/+13
2018-05-03[emacs] update 5 dronesAmin Bandali5-0/+0
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
2018-05-03[emacs] tangle init.org before bootstrappingAmin Bandali2-1/+2
By making `tangle-init' a prerequisite of `bootstrap'. Adjust build instructions accordingly.
2018-05-03[emacs] further refine my Emacs' unicode font stackAmin Bandali1-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.
2018-05-03[emacs] remove duplicate post-init message and shorten counsel delayAmin Bandali1-5/+1
2018-05-02[emacs] disable EXWMAmin Bandali1-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
2018-05-02[rc] increase rofi-light's width a bitAmin Bandali1-1/+1
2018-05-01[emacs] experiment with EXWM and key bindingsAmin Bandali1-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.
2018-05-01[emacs/ivy] allow wrapping around on first and last candidatesAmin Bandali1-0/+1
2018-05-01[rc/x] disable bellAmin Bandali1-0/+2
It's especially obnoxious through headphones.
2018-04-30[rc/emacs] disable the internal border of Emacs' frameAmin Bandali1-1/+1
See https://github.com/ch11ng/exwm/issues/169
2018-04-30[emacs] unicode font stack around Ubuntu Mono and HackAmin Bandali1-2/+31
Pretty much my ideal font stack for writing Lean.
2018-04-30[emacs] assimilate lean-mode and dependenciesAmin Bandali10-0/+32
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
generated by cgit v1.2.3-60-g2f50 (git 2.42.0) at 2024-11-23 05:00:11 +0000