diff options
| -rw-r--r-- | .gitmodules | 24 | ||||
| -rw-r--r-- | init.org | 8 | ||||
| m--------- | lib/async | 0 | ||||
| m--------- | lib/company | 0 | ||||
| m--------- | lib/f | 0 | ||||
| m--------- | lib/flycheck | 0 | ||||
| m--------- | lib/helm | 0 | ||||
| m--------- | lib/lean-mode | 0 | ||||
| m--------- | lib/popup | 0 | ||||
| m--------- | lib/s | 0 |
10 files changed, 32 insertions, 0 deletions
diff --git a/.gitmodules b/.gitmodules index c46c70e..d300637 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,6 +1,9 @@ [borg] pushDefault = aminb collective = emacsg +[submodule "async"] + path = lib/async + url = git@github.com:jwiegley/emacs-async.git [submodule "auto-compile"] path = lib/auto-compile url = git@github.com:emacscollective/auto-compile.git @@ -10,6 +13,9 @@ [submodule "closql"] path = lib/closql url = git@github.com:emacscollective/closql.git +[submodule "company"] + path = lib/company + url = git@github.com:company-mode/company-mode.git [submodule "dash"] path = lib/dash url = git@github.com:magnars/dash.el.git @@ -34,16 +40,28 @@ [submodule "exwm"] path = lib/exwm url = git@github.com:ch11ng/exwm.git +[submodule "f"] + path = lib/f + url = git@github.com:rejeep/f.el.git +[submodule "flycheck"] + path = lib/flycheck + url = git@github.com:flycheck/flycheck.git [submodule "ghub"] path = lib/ghub url = git@github.com:magit/ghub.git [submodule "git-modes"] path = lib/git-modes url = git@github.com:magit/git-modes.git +[submodule "helm"] + path = lib/helm + url = git@github.com:emacs-helm/helm.git [submodule "ivy"] path = lib/ivy url = git@github.com:abo-abo/swiper.git info-path = doc +[submodule "lean-mode"] + path = lib/lean-mode + url = git@github.com:leanprover/lean-mode.git [submodule "magit"] path = lib/magit url = git@github.com:magit/magit.git @@ -60,6 +78,12 @@ [submodule "packed"] path = lib/packed url = git@github.com:emacscollective/packed.git +[submodule "popup"] + path = lib/popup + url = git@github.com:auto-complete/popup-el.git +[submodule "s"] + path = lib/s + url = git@github.com:magnars/s.el.git [submodule "smex"] # used by counsel-M-x path = lib/smex url = git@github.com:nonsequitur/smex.git @@ -754,6 +754,14 @@ TODO: break this giant source block down into individual org sections. (setq undo-tree-mode-lighter "")) #+end_src +* Programming modes + +** Lean mode + +#+begin_src emacs-lisp +(use-package lean-mode) +#+end_src + * Post initialization :PROPERTIES: :CUSTOM_ID: post-initialization diff --git a/lib/async b/lib/async new file mode 160000 +Subproject 04e1a2c40bef305450389da540ffe7594964e43 diff --git a/lib/company b/lib/company new file mode 160000 +Subproject d26ec7182471efcc631bac3c2be122cfcd0f3c4 diff --git a/lib/f b/lib/f new file mode 160000 +Subproject de6d4d40ddc844eee643e92d47b9d6a63fbebb4 diff --git a/lib/flycheck b/lib/flycheck new file mode 160000 +Subproject 0c4bbd1f8a48200a23bae365d2a6749a2e84771 diff --git a/lib/helm b/lib/helm new file mode 160000 +Subproject 56039aaf946265621133f0a142073d0d751c624 diff --git a/lib/lean-mode b/lib/lean-mode new file mode 160000 +Subproject 6ed7031e14cf9c2c481ac68eeffa4e7733e5842 diff --git a/lib/popup b/lib/popup new file mode 160000 +Subproject 80829dd46381754639fb764da11c67235fe6328 diff --git a/lib/s b/lib/s new file mode 160000 +Subproject 03410e6a7a2b11e47e1fea3b7d9899c7df26435 |