summaryrefslogtreecommitdiffstats
path: root/lib/proof-site (unfollow)
Commit message (Collapse)AuthorFilesLines
2019-02-22[emacs,rc] update personal email addressAmin Bandali2-21/+20
2019-02-22[emacs] update packagesAmin Bandali1-19/+21
2019-02-12[rc/rofi-pass] change default_user2Amin Bandali1-1/+1
2019-02-12[rc/pacman] enable libre-testing for nowAmin Bandali1-2/+2
2019-02-12[emacs] update packagesAmin Bandali1-10/+10
2019-02-06[emacs] update packagesAmin Bandali1-11/+11
2019-02-06[emacs,rc] add csclub mailAmin Bandali3-5/+48
2019-02-01[emacs] update packagesAmin Bandali1-6/+6
2019-01-31[emacs] update org and web-modeAmin Bandali1-2/+2
2019-01-31[rc/tlp] work around bluetooth getting enabled after hibernateAmin Bandali1-2/+2
of course, it should be manually disabled the first time
2019-01-30[rc/pacman] add configuration and mirrorlistAmin Bandali1-0/+220
2019-01-30[rc/mkinitcpio] add configurationAmin Bandali1-0/+71
2019-01-30[emacs] update packagesAmin Bandali1-4/+4
2019-01-30[rc/systemd] fix missing sudo prefixAmin Bandali1-1/+1
2019-01-29[rc/Zsh] tweak zim templatesAmin Bandali1-7/+5
see https://github.com/zimfw/zimfw/commit/a05890e8b47e1f4071936ec69d2b77522edfd3d3
2019-01-29[rc/getmail] add a (commented) MDA_external dest type for referenceAmin Bandali1-0/+5
2019-01-29[rc/systemd] keep boot messages on tty1Amin Bandali1-0/+8
2019-01-29[emacs] update packagesAmin Bandali1-13/+13
2019-01-25[emacs] move a/byte-compiled-init below the headerAmin Bandali1-6/+19
2019-01-25[emacs] update packagesAmin Bandali1-5/+5
2019-01-24[emacs] update OrgAmin Bandali1-1/+1
includes a number of bug fixes
2019-01-23[emacs] update packagesAmin Bandali1-8/+8
2019-01-22[emacs/footnote] comment out styling changesAmin Bandali1-5/+5
while the unicode style is prettier, i think the simple ascii version would be more accessible and e.g. more search-friendly
2019-01-22[emacs] update packagesAmin Bandali1-8/+8
2019-01-20[emacs/gnus] fix and improve gnus-permanently-visible-groups regexpAmin Bandali1-1/+1
typo fix: remove extraneous opening paren improve: rule out partial folder matches for the two cases
2019-01-19[emacs] update packagesAmin Bandali1-5/+5
2019-01-19[emacs] update packagesAmin Bandali1-8/+8
2019-01-17[emacs] Query for GPG passphrase through minibufferAmin Bandali1-0/+6
2019-01-17[emacs] update orgAmin Bandali1-3/+3
2019-01-17[rc/msmtp] update fp’s tls_fingerprintAmin Bandali1-1/+1
2019-01-17[rc/sway] add a few floating window rulesAmin Bandali1-0/+9
2019-01-16[emacs] better scrolling (both keyboard and mouse)Amin Bandali1-2/+21
also use the new (version<= "26.1" emacs-version) pixel-scroll-mode
2019-01-16[emacs] update packagesAmin Bandali1-6/+6
2019-01-16[rc/i3status] disable wireless status for nowAmin Bandali1-1/+1
2019-01-16[rc/urxvt] fix definitions for non-regular font stylesAmin Bandali1-3/+3
2019-01-14[emacs] update packagesAmin Bandali1-6/+6
2019-01-12[emacs] update proof generalAmin Bandali1-1/+1
2019-01-12[emacs] add java-mode to programming in Ibuffer, C-x {k,K} bindingsAmin Bandali1-1/+3
2019-01-12[emacs/yasnippet] suppress startup jit loading messageAmin Bandali1-0/+3
2019-01-12[emacs] update yearsAmin Bandali1-2/+2
2019-01-12[emacs] update 4 packagesAmin Bandali1-4/+4
2019-01-11[emacs] update dante, configure yasnippetAmin Bandali2-1/+13
2019-01-10[emacs] update packagesAmin Bandali1-14/+14
2019-01-08[emacs] update 7 packagesAmin Bandali1-8/+8
2019-01-06[emacs] update packagesAmin Bandali1-6/+6
2019-01-06[emacs] add eclimAmin Bandali2-4/+25
2019-01-06[rc/msmtp] update deb's tls cert fingerprintAmin Bandali1-1/+1
2019-01-04[emacs] update packagesAmin Bandali2-9/+6
ox-hugo-auto-export was deprecated in latest ox-hugo
2019-01-03[emacs] update forge, ghub, magit, org, and ox-hugoAmin Bandali1-5/+5
2019-01-01[rc/sway] add sticky toggle bindingAmin Bandali1-0/+3