Commit Graph

  • 44436484af [emacs] configure for twelf prover use-package Julin S 2024-04-07 17:48:08 +0530
  • 6ad54b04a9 [emacs] fix old style backquote error in twelf.el Julin S 2024-04-07 17:14:48 +0530
  • b820edaedb add twelf and beluga mode files (third party) Julin S 2024-04-07 17:13:56 +0530
  • 7a67fe23b2 override an mpv shortcut and add some digraphs Julin S 2024-04-07 00:31:51 +0530
  • 8e606a3206 [emacs] use langtool for spelling and grammar check Julin S 2024-03-29 12:55:05 +0530
  • 4f31296cb7 add digraphs for mathbb numbers Julin S 2024-03-29 12:40:24 +0530
  • aafe6d4698 editors: add few digraphs Julin S 2024-03-27 12:58:25 +0530
  • dd60cfda12 [emacs] some more rearrangement Julin S 2024-03-17 23:57:22 +0530
  • a31cab736e [emacs] spin off user defined lisp functions to new file Julin S 2024-03-17 23:17:53 +0530
  • 0fc87be98f [emacs] change to use-package a bit more Julin S 2024-03-17 23:07:30 +0530
  • 1f8b575d8e add Chinese wubi input method via pyim in emacs Julin S 2024-03-17 22:51:05 +0530
  • 61cac38376 [bash] use enhanced inscript keyboard Julin S 2024-03-06 14:37:39 +0530
  • 8f87dd5c3c update hosts file Julin S 2024-03-04 19:12:25 +0530
  • 05364d3080 [emacs] make an elisp function to add digraphs Julin S 2024-02-24 23:48:25 +0530
  • 67c8db2d64 [editors] add a few digraphs Julin S 2024-02-22 21:36:17 +0530
  • 21bebd64d9 make a new ocaml.nix Julin S 2024-02-16 11:10:28 +0530
  • 92f60558f7 [emacs] make a yas snippet Julin S 2024-01-04 13:04:30 +0530
  • 5799986153 update hosts file Julin S 2023-08-22 12:21:00 +0530
  • d80d71dfa7 [hlwm] make panel.sh executable Julin S 2023-07-14 16:54:19 +0530
  • d8b590b351 correct mutt and mpv configs Julin S 2023-07-12 13:26:59 +0530
  • 426cff3d4a tweak mpv and sioyek configs Julin S 2023-07-04 00:32:47 +0530
  • def13ce227 [sioyek] change some sioyek keys Julin S 2023-06-27 16:12:58 +0530
  • 51f2621f95 [emacs] include a copy of ox-extra Julin S 2023-06-07 16:05:27 +0530
  • 54604df984 add yewtube and newsboat Julin S 2023-03-26 23:47:07 +0530
  • a51337caa9 use minted in org export to tex Julin S 2023-01-12 18:21:48 +0530
  • 3ba66d7490 [emacs] include a vi key for magit Julin S 2022-10-08 12:24:46 +0530
  • c2e5fbc029 add a few nix files Julin S 2022-09-02 14:20:25 +0530
  • c190f54c6d add agda conf file Julin S 2022-09-02 14:16:47 +0530
  • 633abce145 update hosts master Julin S 2022-07-30 03:20:51 +0530
  • 998eb841d6 [nix] include a small nix expression for coq Julin S 2022-07-08 12:29:59 +0530
  • 2a7b2b14d2 [mutt] add key for 'go to end' in pager mode Julin S 2022-05-14 18:39:45 +0530
  • 919c03f369 [emacs] tessla mode autoloads now Julin S 2022-05-03 19:12:42 +0530
  • caa5fa9690 [emacs] start conversion to use-package Julin S 2022-05-03 18:48:27 +0530
  • c9f6d6147a [digraph] add arrow for injective fn Julin S 2022-05-03 11:02:29 +0530
  • 513425585a [bash] add function to display csv Julin S 2022-04-29 18:47:24 +0530
  • 3d43c31715 [emacs] add config for ditaa Julin S 2022-04-29 10:57:05 +0530
  • f98d104526 [screen] include a hack for 'zoom' Julin S 2022-04-20 22:59:43 +0530
  • 5b917f65e5 [screen] start screenrc Julin S 2022-04-18 10:07:53 +0530
  • 1ddc39ef13 [emacs] add org-babel for dot Julin S 2022-04-15 13:08:23 +0530
  • 4d40dd0ae6 add digraphs for Chinese numerals Julin S 2022-04-11 16:44:35 +0530
  • efea596c62 [ranger] add archwiki link Julin S 2022-03-22 23:26:46 +0530
  • 71065e4c09 fix typo Julin S 2022-03-22 22:08:45 +0530
  • f5e942d39a [ranger] allow sml files to open in vim Julin S 2022-03-22 22:05:15 +0530
  • eea9702d53 [ranger] make rifle.conf Julin S 2022-03-21 22:06:05 +0530
  • 0f7a7c9bd9 add nomacs and bit of irssi configs Julin S 2022-03-20 10:04:57 +0530
  • 451d415099 remove script.sh as stow can be used now Julin S 2022-03-07 11:02:51 +0530
  • ae5001bf61 [hlwm] place panel.sh in correct location Julin S 2022-03-07 10:59:33 +0530
  • 128894a0e8 add mpv and ranger configs stow Julin S 2022-03-07 10:55:19 +0530
  • 92bf43e8a6 Merge branch 'stow' of https://tildegit.org/famubu/dotfiles into stow Julin S 2022-03-07 10:47:01 +0530
  • d656cf1626 set indentation for vhdl Julin S 2022-03-07 10:46:42 +0530
  • 2eab847722 restructure for use with gnu-stow Julin S 2022-02-18 02:17:42 +0530
  • 98c91b5ee6 add square bracket digraph Julin S 2022-02-16 11:52:50 +0530
  • befa46b6b4 add bidi digraphs Julin S 2022-01-19 14:12:42 +0530
  • 8909963c47 add tmux shortcut for copy to clipboard Julin S 2022-01-03 14:39:55 +0530
  • 55d3030342 [emacs] org mode: show hyperlinks entirely Julin S 2021-12-05 11:52:33 +0530
  • 8b4d8a80d1 add panel.sh of herbstluftwm Julin S 2021-11-17 22:55:31 +0530
  • 8311688a2c add 2 more digraphs for vim Julin S 2021-11-11 17:34:23 +0530
  • d75f09890e add vim shortcut to toggle folds Julin S 2021-11-01 20:10:14 +0530
  • 2b2f476804 add config file for suckless/tabbed Julin S 2021-10-30 11:56:58 +0530
  • a9289d8504 add vim nnoremaps for compilations Julin S 2021-10-26 23:36:52 +0530
  • 23056ef6d9 add command to switch keyboard layouts Julin S 2021-10-16 00:07:21 +0530
  • 5cf2ccafa3 add herbstluftwm and awesomewm config files Julin S 2021-10-14 15:26:47 +0530
  • ad1d9f08e2 separate vi keys set up from main emacs init file Julin S 2021-10-12 22:13:16 +0530
  • 2480252532 add vi keys for w3m and calendar modes Julin S 2021-10-11 22:51:00 +0530
  • 5821d4204f add vi keys for emacs docview Julin S 2021-10-10 22:43:04 +0530
  • 5b47a4d827 add vi keys for org-agenda Julin S 2021-10-10 22:35:55 +0530
  • 2b4a99bd07 add git, qutebrowser and zathura configs Julin S 2021-10-04 22:32:00 +0530
  • fba18da432 add bash config Julin S 2021-09-29 23:14:12 +0530
  • 0af1a2f8e4 add reply all key binding for mutt Julin S 2021-09-28 11:34:22 +0530
  • cf2a0ed0c1 add tweaks to use org-agenda Julin S 2021-09-16 18:20:49 +0530
  • 39c4c3b609 make function for nvim coqtail output Julin S 2021-09-10 16:15:17 +0530
  • 28e1589857 add vim digraphs to emacs Julin S 2021-09-07 07:44:20 +0530
  • 17f4d5ef18 update emacs config and reorganize vim config Julin S 2021-07-31 08:38:46 +0530
  • f6955bc9a0 change default view of proof general Julin S 2021-07-29 12:17:34 +0530
  • 6861181a21 update mutt config Julin S 2021-07-15 12:45:40 +0530
  • 1b7e9121b6 add key combination for zooming in emacs Julin S 2021-06-23 11:29:52 +0530
  • 155ecc702e add w3m and elinks Julin S 2021-05-29 11:59:41 +0530
  • e35378deb6 revamp tmux config Julin S 2021-05-24 13:03:30 +0530
  • fa2d063541 add italics Latin letter digraphs to vimrc Julin S 2021-05-22 15:05:25 +0530
  • ca708ac7ec update tmux config Julin S 2021-05-15 22:39:25 +0530
  • f0c150ff6f add cscope to vimrc Julin S 2021-05-01 07:15:52 +0530
  • 66e8fc3ac1 add super and sub script digraphs to .vimrc Julin S 2021-04-24 06:38:15 +0530
  • ec53b99dc8 add mutt rc file Julin S 2021-03-28 16:18:55 +0530
  • 5edab08f65 reorganize files Julin S 2020-10-25 15:13:07 +0530
  • 4f5918bf3b add lynx config Julin S 2020-10-25 09:25:02 +0530
  • bbe7a4eef0 modify i3 and i3status config Julin S 2020-10-18 18:08:18 +0530
  • 5bac034fe0 add tmux config Julin S 2020-08-16 14:37:56 +0530
  • d5ced2cdf5 add i3 and vim Julin S 2020-05-23 17:50:28 +0530
  • 6b48304985
    Initial commit Julin S 2020-05-23 17:46:23 +0530