summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--.gitmodules24
-rw-r--r--init.org8
m---------lib/async0
m---------lib/company0
m---------lib/f0
m---------lib/flycheck0
m---------lib/helm0
m---------lib/lean-mode0
m---------lib/popup0
m---------lib/s0
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
diff --git a/init.org b/init.org
index 7add2c1..56f9fcd 100644
--- a/init.org
+++ b/init.org
@@ -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