added scripts/full_source

anandrav · anandrav · commit ab88f4c70ac8 · 2026-01-06T18:19:23.000-06:00
diff --git a/scripts/full_source b/scripts/full_source
@@ -0,0 +1,3 @@
+#!/bin/bash
+
+find . -path "./vendor" -prune -o \( -name "*.rs" -o -name "*.abra" \) -print | while read filename; do echo "--- FILE: $filename ---"; cat "$filename"; echo -e "\n"; done > full_source.txt

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+#!/bin/bash`
	`2`	`+`
	`3`	`+find . -path "./vendor" -prune -o \( -name ".rs" -o -name ".abra" \) -print \| while read filename; do echo "--- FILE: $filename ---"; cat "$filename"; echo -e "\n"; done > full_source.txt`