[emacs/lean-mode] use forward slash "/" as the prefix for lean-input
[~bandali/configs] / .gitmodules
CommitLineData
692a063f
AB
1[borg]
2 pushDefault = aminb
3 collective = emacsg
313f5877
AB
4[submodule "alert"]
5 path = lib/alert
6 url = git@github.com:jwiegley/alert.git
75095920
AB
7[submodule "all-the-icons"]
8 path = lib/all-the-icons
9 url = git@github.com:domtronn/all-the-icons.el.git
221cdaa3
AB
10[submodule "alloy-mode"]
11 path = lib/alloy-mode
d43a20d7 12 url = git@github.com:dwwmmn/alloy-mode.git
f811cdad
AB
13[submodule "anzu"]
14 path = lib/anzu
15 url = git@github.com:syohex/emacs-anzu.git
3f0f8d01
AB
16[submodule "async"]
17 path = lib/async
18 url = git@github.com:jwiegley/emacs-async.git
692a063f
AB
19[submodule "auto-compile"]
20 path = lib/auto-compile
21 url = git@github.com:emacscollective/auto-compile.git
22[submodule "borg"]
23 path = lib/borg
24 url = git@github.com:emacscollective/borg.git
f20d6a60
AB
25[submodule "boxquote"]
26 path = lib/boxquote
27 url = git@github.com:davep/boxquote.el.git
313f5877
AB
28[submodule "circe"]
29 path = lib/circe
30 url = git@github.com:jorgenschaefer/circe.git
692a063f
AB
31[submodule "closql"]
32 path = lib/closql
33 url = git@github.com:emacscollective/closql.git
3f0f8d01
AB
34[submodule "company"]
35 path = lib/company
36 url = git@github.com:company-mode/company-mode.git
6f4c133d
AB
37[submodule "counsel-notmuch"]
38 path = lib/counsel-notmuch
39 url = git@github.com:fuxialexander/counsel-notmuch.git
bb93c9e1
AB
40[submodule "crux"]
41 path = lib/crux
42 url = git@github.com:bbatsov/crux.git
eba52b9c
AB
43[submodule "dante"]
44 path = lib/dante
45 url = git@github.com:jyp/dante.git
692a063f
AB
46[submodule "dash"]
47 path = lib/dash
48 url = git@github.com:magnars/dash.el.git
49 no-makeinfo = dash-template.texi
180cab37
AB
50 # dash creates a `dir' dash info file, which makes git think
51 # that the submodule is dirty. so, let's ignore the untracked
52 # files of dash's submodule
53 ignore = untracked
313f5877
AB
54[submodule "deferred"]
55 path = lib/deferred
56 url = git@github.com:kiwanami/emacs-deferred.git
692a063f
AB
57[submodule "diff-hl"]
58 path = lib/diff-hl
59 url = git@github.com:dgutov/diff-hl.git
75095920
AB
60[submodule "doom-modeline"]
61 path = lib/doom-modeline
62 url = git@github.com:seagle0128/doom-modeline.git
1c3eaf15
AB
63[submodule "edit-indirect"]
64 path = lib/edit-indirect
65 url = git@github.com:Fanael/edit-indirect.git
fdcac86a
AB
66[submodule "eink-theme"]
67 path = lib/eink-theme
68 url = git@github.com:maio/eink-emacs.git
e22b0f9d 69 remote = aminb git@github.com:aminb/eink-emacs.git
75095920
AB
70[submodule "eldoc-eval"]
71 path = lib/eldoc-eval
72 url = git@github.com:thierryvolpiatto/eldoc-eval.git
b36bd0dd
AB
73[submodule "elisp-refs"]
74 path = lib/elisp-refs
75 url = git@github.com:Wilfred/elisp-refs.git
692a063f
AB
76[submodule "emacsql"]
77 path = lib/emacsql
78 url = git@github.com:skeeto/emacsql.git
79 no-byte-compile = emacsql-pg.el
d98421d5
AB
80[submodule "emmet-mode"]
81 path = lib/emmet-mode
82 url = git@github.com:smihica/emmet-mode.git
313f5877
AB
83[submodule "emojify"]
84 path = lib/emojify
85 url = git@github.com:iqbalansari/emacs-emojify.git
692a063f
AB
86[submodule "epkg"]
87 path = lib/epkg
88 url = git@github.com:emacscollective/epkg.git
284bbe78
AB
89[submodule "epl"]
90 path = lib/epl
91 url = git@github.com:cask/epl.git
7538956f
AB
92[submodule "exec-path-from-shell"]
93 path = lib/exec-path-from-shell
94 url = git@github.com:purcell/exec-path-from-shell.git
3f0f8d01
AB
95[submodule "f"]
96 path = lib/f
97 url = git@github.com:rejeep/f.el.git
98[submodule "flycheck"]
99 path = lib/flycheck
100 url = git@github.com:flycheck/flycheck.git
f76bdaa8
AB
101[submodule "flycheck-haskell"]
102 path = lib/flycheck-haskell
103 url = git@github.com:flycheck/flycheck-haskell.git
692a063f
AB
104[submodule "ghub"]
105 path = lib/ghub
106 url = git@github.com:magit/ghub.git
107[submodule "git-modes"]
108 path = lib/git-modes
109 url = git@github.com:magit/git-modes.git
460facae
AB
110[submodule "graphql"]
111 path = lib/graphql
112 url = git@github.com:vermiculus/graphql.el.git
a81db923
AB
113[submodule "haskell-mode"]
114 path = lib/haskell-mode
115 url = git@github.com:haskell/haskell-mode.git
3f0f8d01
AB
116[submodule "helm"]
117 path = lib/helm
118 url = git@github.com:emacs-helm/helm.git
b36bd0dd
AB
119[submodule "helpful"]
120 path = lib/helpful
121 url = git@github.com:Wilfred/helpful.git
0fbb9f4e
AB
122[submodule "highlight-indent-guides"]
123 path = lib/highlight-indent-guides
124 url = git@github.com:DarthFennec/highlight-indent-guides.git
36fca309
AB
125[submodule "hlint-refactor"]
126 path = lib/hlint-refactor
127 url = git@github.com:mpickering/hlint-refactor-mode.git
313f5877
AB
128[submodule "ht"]
129 path = lib/ht
130 url = git@github.com:Wilfred/ht.el.git
b55d92af
AB
131[submodule "hydra"]
132 path = lib/hydra
133 url = git@github.com:abo-abo/hydra.git
f7752223
AB
134[submodule "ivy"]
135 path = lib/ivy
136 url = git@github.com:abo-abo/swiper.git
137 info-path = doc
1c3eaf15
AB
138[submodule "json-mode"]
139 path = lib/json-mode
140 url = git@github.com:joshwnj/json-mode.git
141[submodule "json-reformat"]
142 path = lib/json-reformat
143 url = git@github.com:gongo/json-reformat.git
144[submodule "json-snatcher"]
145 path = lib/json-snatcher
146 url = git@github.com:Sterlingg/json-snatcher.git
eba52b9c
AB
147[submodule "lcr"]
148 path = lib/lcr
149 url = git@github.com:jyp/lcr.git
3f0f8d01
AB
150[submodule "lean-mode"]
151 path = lib/lean-mode
152 url = git@github.com:leanprover/lean-mode.git
b36bd0dd
AB
153[submodule "loop"]
154 path = lib/loop
155 url = git@github.com:Wilfred/loop.el.git
692a063f
AB
156[submodule "magit"]
157 path = lib/magit
158 url = git@github.com:magit/magit.git
1a052672 159 recursive-byte-compile = true
692a063f
AB
160 info-path = Documentation
161[submodule "magit-popup"]
162 path = lib/magit-popup
163 url = git@github.com:magit/magit-popup.git
164[submodule "markdown-mode"]
165 path = lib/markdown-mode
166 url = git@github.com:jrblevin/markdown-mode.git
75095920
AB
167[submodule "memoize"]
168 path = lib/memoize
169 url = git@github.com:skeeto/emacs-memoize.git
1c3eaf15
AB
170[submodule "mmm-mode"]
171 path = lib/mmm-mode
172 url = git@github.com:purcell/mmm-mode.git
173 # mmm-mode creates a `dir' dash info file, which makes git think
174 # that the submodule is dirty. so, let's ignore the untracked
175 # files of dash's submodule
176 ignore = untracked
bb93c9e1
AB
177[submodule "mwim"]
178 path = lib/mwim
179 url = git@github.com:alezost/mwim.el.git
1c3eaf15
AB
180[submodule "nix-mode"]
181 path = lib/nix-mode
182 url = git@github.com:NixOS/nix-mode.git
692a063f
AB
183[submodule "no-littering"]
184 path = lib/no-littering
185 url = git@github.com:emacscollective/no-littering.git
fc5b6b8c
AB
186[submodule "notmuch"]
187 path = lib/notmuch
188 url = https://git.notmuchmail.org/git/notmuch
51db62d8
AB
189 load-path = emacs
190 info-path = doc/_build/texinfo
87f61b04
AB
191 # build-nix-shell-packages = pkgconfig gitMinimal xapian gmime talloc zlib pythonPackages.sphinx pythonPackages.python texinfo
192 # build-step = ./configure --without-docs
193 # build-step = make
045feb37
AB
194 # build-step = make sphinx-texinfo
195 # build-step = borg-makeinfo
313f5877
AB
196[submodule "oauth2"]
197 path = lib/oauth2
198 url = git@github.com:emacsmirror/oauth2.git
f1dd8248
AB
199[submodule "org"]
200 path = lib/org
201 url = git@code.orgmode.org:bzg/org-mode.git
202 load-path = lisp
203 info-path = doc
6b6a22a2 204 build-step = make compile autoloads info # ORG_ADD_CONTRIB="org-notmuch"
f1dd8248
AB
205 # setting ORG_ADD_CONTRIB results in copying of files from contrib/
206 # into lisp/, which git will pick up. so, let's ignore untracked files
207 # from org's submodule; at least for now
6b6a22a2 208 # ignore = untracked
2b99d792
AB
209[submodule "orgalist"]
210 path = lib/orgalist
211 url = git@github.com:emacsmirror/orgalist.git
0c158caf
AB
212[submodule "other-frame-window"]
213 path = lib/other-frame-window
214 url = git@github.com:emacsmirror/other-frame-window.git
5bbd5ac3
AB
215[submodule "ox-hugo"]
216 path = lib/ox-hugo
217 url = git@github.com:kaushalmodi/ox-hugo.git
692a063f
AB
218[submodule "packed"]
219 path = lib/packed
220 url = git@github.com:emacscollective/packed.git
f811cdad
AB
221[submodule "pdf-tools"]
222 path = lib/pdf-tools
223 url = git@github.com:politza/pdf-tools.git
224 build-step = make
225 build-step = borg-byte-compile
226 build-step = borg-update-autoloads
227 # pdf-tools-install creates `lisp/epdfinfo', which makes git think
228 # that the submodule is dirty. so, let's ignore the untracked
229 # files of pdf-tools' submodule
230 ignore = untracked
284bbe78
AB
231[submodule "pkg-info"]
232 path = lib/pkg-info
233 url = git@github.com:lunaryorn/pkg-info.el.git
3f0f8d01
AB
234[submodule "popup"]
235 path = lib/popup
236 url = git@github.com:auto-complete/popup-el.git
75095920
AB
237[submodule "projectile"]
238 path = lib/projectile
239 url = git@github.com:bbatsov/projectile.git
695170a4
AB
240[submodule "proof-site"] # Proof General
241 path = lib/proof-site
242 url = git@github.com:ProofGeneral/PG.git
313f5877
AB
243[submodule "request"]
244 path = lib/request
245 url = git@github.com:tkf/emacs-request.git
3f0f8d01
AB
246[submodule "s"]
247 path = lib/s
248 url = git@github.com:magnars/s.el.git
6ef44cb7
AB
249[submodule "shell-pop"]
250 path = lib/shell-pop
251 url = git@github.com:kyagi/shell-pop-el.git
75095920
AB
252[submodule "shrink-path"]
253 path = lib/shrink-path
254 url = git@gitlab.com:bennya/shrink-path.el.git
b36bd0dd
AB
255[submodule "shut-up"]
256 path = lib/shut-up
257 url = git@github.com:cask/shut-up.git
313f5877
AB
258[submodule "slack"]
259 path = lib/slack
260 url = git@github.com:yuya373/emacs-slack.git
f7752223
AB
261[submodule "smex"] # used by counsel-M-x
262 path = lib/smex
263 url = git@github.com:nonsequitur/smex.git
f811cdad
AB
264[submodule "tablist"]
265 path = lib/tablist
266 url = git@github.com:politza/tablist.git
460facae
AB
267[submodule "treepy"]
268 path = lib/treepy
269 url = git@github.com:volrath/treepy.el.git
46467dc3
AB
270[submodule "typo"]
271 path = lib/typo
272 url = git@github.com:jorgenschaefer/typoel.git
692a063f
AB
273[submodule "undo-tree"]
274 path = lib/undo-tree
275 url = git@github.com:emacsorphanage/undo-tree.git
8bc647a7
AB
276[submodule "unkillable-scratch"]
277 path = lib/unkillable-scratch
278 url = git@github.com:EricCrosson/unkillable-scratch.git
692a063f
AB
279[submodule "use-package"]
280 path = lib/use-package
281 url = git@github.com:jwiegley/use-package.git
d98421d5
AB
282[submodule "web-mode"]
283 path = lib/web-mode
284 url = git@github.com:fxbois/web-mode.git
313f5877
AB
285[submodule "websocket"]
286 path = lib/websocket
287 url = git@github.com:ahyatt/emacs-websocket.git
0deee788
AB
288[submodule "which-key"]
289 path = lib/which-key
290 url = git@github.com:justbur/emacs-which-key.git
0c158caf
AB
291[submodule "winum"]
292 path = lib/winum
293 url = git@github.com:deb0ch/emacs-winum.git
692a063f
AB
294[submodule "with-editor"]
295 path = lib/with-editor
296 url = git@github.com:magit/with-editor.git
297[submodule "yaml-mode"]
298 path = lib/yaml-mode
299 url = git@github.com:yoshiki/yaml-mode.git
d3ce3580
AB
300[submodule "yasnippet"]
301 path = lib/yasnippet
302 url = git@github.com:joaotavora/yasnippet.git