From 53922aedd81d5111d9007b41235aa12eaa2a863d Mon Sep 17 00:00:00 2001
Message-Id: <53922aedd81d5111d9007b41235aa12eaa2a863d.1682840933.git.dev@jpoiret.xyz>
From: Josselin Poiret <dev@jpoiret.xyz>
Date: Sun, 30 Apr 2023 09:48:21 +0200
Subject: [PATCH] Use find instead of git ls-tree in Makefile

From: Josselin Poiret <dev@jpoiret.xyz>

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 158802d1..68846579 100644
--- a/Makefile
+++ b/Makefile
@@ -11,7 +11,7 @@ html: Everything.agda
 	agda ${RTSARGS} --html -i. Everything.agda
 
 Everything.agda:
-	git ls-tree --full-tree -r --name-only HEAD | grep '^src/[^\.]*.agda' | sed -e 's|^src/[/]*|import |' -e 's|/|.|g' -e 's/.agda//' -e '/import Everything/d' | LC_COLLATE='C' sort > Everything.agda
+	find src -iname '*.agda' | sed -e 's|^src/[/]*|import |' -e 's|/|.|g' -e 's/.agda//' -e '/import Everything/d' | LC_COLLATE='C' sort > Everything.agda
 
 clean:
 	find . -name '*.agdai' -exec rm \{\} \;

base-commit: 20397e93a60ed1439ed57ee76ae377c66a5eb8d9
prerequisite-patch-id: da10df58fa86d08b31174a01db7b9a02377aba55
-- 
2.39.2

8091869143602d4f1dfdfd82e19'>refs</a><a class='active' href='/guix/log/emacs?showmsg=1'>log</a><a href='/guix/tree/emacs?id=973eea34781078091869143602d4f1dfdfd82e19'>tree</a><a href='/guix/commit/emacs?id=973eea34781078091869143602d4f1dfdfd82e19'>commit</a><a href='/guix/diff/emacs?id=973eea34781078091869143602d4f1dfdfd82e19'>diff</a></td><td class='form'><form class='right' method='get' action='/guix/log/emacs'>
<input type='hidden' name='id' value='973eea34781078091869143602d4f1dfdfd82e19'/><input type='hidden' name='showmsg' value='1'/><select name='qt'>
<option value='grep'>log msg</option>
<option value='author'>author</option>
<option value='committer'>committer</option>
<option value='range'>range</option>
</select>
<input class='txt' type='search' size='10' name='q' value=''/>
<input type='submit' value='search'/>
</form>
</td></tr></table>
<div class='path'>path: <a href='/guix/log/?id=973eea34781078091869143602d4f1dfdfd82e19&amp;showmsg=1'>root</a>/<a href='/guix/log/emacs?id=973eea34781078091869143602d4f1dfdfd82e19&amp;showmsg=1'>emacs</a></div><div class='content'><table class='list nowrap'><tr class='nohover'><th class='left'>Age</th><th class='left'>Commit message (<a href='/guix/log/emacs?id=973eea34781078091869143602d4f1dfdfd82e19'>Collapse</a>)</th><th class='left'>Author</th></tr>
<tr class='logheader'><td><span title='2014-09-08 22:01:58 +0400'>2014-09-08</span></td><td class='logsubject'><a href='/guix/commit/emacs?id=91cc37a1e3e0554ee95ceff96250fb65c63ea3bd'>emacs: Improve key bindings for marking the packages.</a></td><td>Alex Kost</td></tr>
<tr class='nohover-highlight'><td/><td colspan='3' class='logmsg'>
Use "U" to upgrade the current package, "^" to upgrade all.

* emacs/guix-list.el: (guix-list-unmark): With prefix, mark all.
  (guix-package-list-mark-outputs): New procedure.
  (guix-package-list-mark-install, guix-package-list-mark-delete)
  (guix-package-list-mark-upgrade): Use it.
  (guix-package-list-mark-upgrades): New command.
* doc/emacs.texi (emacs List buffer): Update the manual accordingly.


</td></tr>
<tr class='logheader'><td><span title='2014-09-06 20:21:21 +0400'>2014-09-06</span></td><td class='logsubject'><a href='/guix/commit/emacs?id=8ed08c76020b2c66169faf9a84a70cf4c121a6b8'>emacs: Add a face for installed packages.</a></td><td>Alex Kost</td></tr>
<tr class='nohover-highlight'><td/><td colspan='3' class='logmsg'>
* emacs/guix-list.el (guix-package-list-installed): New face.
  (guix-package-list-get-name): Use it.


</td></tr>
<tr class='logheader'><td><span title='2014-09-03 23:50:35 +0400'>2014-09-03</span></td><td class='logsubject'><a href='/guix/commit/emacs?id=457f60fa068c7becf60841daa2b6fc5121aedead'>Add Emacs user interface.</a></td><td>Alex Kost</td></tr>
<tr class='nohover-highlight'><td/><td colspan='3' class='logmsg'>
* configure.ac (emacsuidir): New variable.
  (AC_CONFIG_FILES): Add 'emacs/guix-init.el', 'emacs/guix-helper.scm'.
* Makefile.am: Include 'emacs.am'.
* emacs.am: New file.
* doc/emacs.texi: New file.
* doc/guix.texi: Include 'emacs.texi'.
* emacs/guix-backend.el: New file.
* emacs/guix-base.el: New file.
* emacs/guix-helper.scm.in: New file.
* emacs/guix-history.el: New file.
* emacs/guix-info.el: New file.
* emacs/guix-init.el.in: New file.
* emacs/guix-list.el: New file.
* emacs/guix-main.scm: New file.
* emacs/guix-utils.el: New file.
* emacs/guix.el: New file.


</td></tr>