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

f252f09bf97f3b17d8'>refs</a><a class='active' href='/guix/log/gnu/machine/digital-ocean.scm'>log</a><a href='/guix/tree/gnu/machine/digital-ocean.scm?id=93ceb2d90165fa5e76f983f252f09bf97f3b17d8'>tree</a><a href='/guix/commit/gnu/machine/digital-ocean.scm?id=93ceb2d90165fa5e76f983f252f09bf97f3b17d8'>commit</a><a href='/guix/diff/gnu/machine/digital-ocean.scm?id=93ceb2d90165fa5e76f983f252f09bf97f3b17d8'>diff</a></td><td class='form'><form class='right' method='get' action='/guix/log/gnu/machine/digital-ocean.scm'>
<input type='hidden' name='id' value='93ceb2d90165fa5e76f983f252f09bf97f3b17d8'/><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=93ceb2d90165fa5e76f983f252f09bf97f3b17d8'>root</a>/<a href='/guix/log/gnu?id=93ceb2d90165fa5e76f983f252f09bf97f3b17d8'>gnu</a>/<a href='/guix/log/gnu/machine?id=93ceb2d90165fa5e76f983f252f09bf97f3b17d8'>machine</a>/<a href='/guix/log/gnu/machine/digital-ocean.scm?id=93ceb2d90165fa5e76f983f252f09bf97f3b17d8'>digital-ocean.scm</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/gnu/machine/digital-ocean.scm?id=93ceb2d90165fa5e76f983f252f09bf97f3b17d8&amp;showmsg=1'>Expand</a>)</th><th class='left'>Author</th></tr>
<tr><td><span title='2022-11-09 13:45:24 +0100'>2022-11-09</span></td><td><a href='/guix/commit/gnu/machine/digital-ocean.scm?id=8d7cb7f2a4d0b7ce49764e4ba24026762d640da7'>machine/digital-ocean: Pull operating system definition out of string.</a><span class='msg-avail'>...<span class='msg-tooltip'>* gnu/machine/digital-ocean.scm (guix-infect): Define the operating system
declaration as an s-expression and paste it into the generated Bash script to
simplify editing.
</span></span></td><td>Ricardo Wurmus</td></tr>
<tr><td><span title='2022-11-09 13:45:24 +0100'>2022-11-09</span></td><td><a href='/guix/commit/gnu/machine/digital-ocean.scm?id=ebb88e2bed889b67ea83893c907ab29e3bc81e8b'>machine/digital-ocean: Set load path to Guile 3.0 directories.</a><span class='msg-avail'>...<span class='msg-tooltip'>* gnu/machine/digital-ocean.scm (guix-infect, add-static-networking): Set
GUILE_LOAD_PATH and GUILE_LOAD_COMPILED_PATH to directories for Guile 3.0
instead of 2.2.
</span></span></td><td>Ricardo Wurmus</td></tr>
<tr><td><span title='2022-11-09 13:45:24 +0100'>2022-11-09</span></td><td><a href='/guix/commit/gnu/machine/digital-ocean.scm?id=e8dcd008a0be8bd967efabab6960d19e5424d93e'>machine/digital-ocean: Use static-networking-service-type.</a><span class='msg-avail'>...<span class='msg-tooltip'>* gnu/machine/digital-ocean.scm (ip+netmask-&gt;cidr): New procedure.
(guix-infect, add-static-networking): Use static-networking-service-type
instead of the deprecated static-networking-service.
</span></span></td><td>Ricardo Wurmus</td></tr>
<tr><td><span title='2022-11-09 13:45:24 +0100'>2022-11-09</span></td><td><a href='/guix/commit/gnu/machine/digital-ocean.scm?id=c8e41af7be47fdd3ae16765d5cf892582f5a407a'>machine/digital-ocean: Use nightly Guix.</a><span class='msg-avail'>...<span class='msg-tooltip'>* gnu/machine/digital-ocean.scm (guix-infect): Fetch latest Guix build from
ci.guix.gnu.org.
</span></span></td><td>Ricardo Wurmus</td></tr>
<tr><td><span title='2022-09-04 17:57:02 +0200'>2022-09-04</span></td><td><a href='/guix/commit/gnu/machine/digital-ocean.scm?id=a451a809d5537035cc8888cfde5349842a68e934'>Fix misspelling of GUIX_DIGITAL_OCEAN_TOKEN.</a><span class='msg-avail'>...<span class='msg-tooltip'>* gnu/machine/digital-ocean.scm (maybe-raise-missing-api-key-error): Fix
  misspelling of GUIX_DIGITAL_OCEAN_TOKEN.

Signed-off-by: Mathieu Othacehe &lt;othacehe@gnu.org&gt;
</span></span></td><td>Matthew James Kraai</td></tr>