diff options
| author | Irene Knapp <ireneista@irenes.space> | 2026-10-05 01:58:58 -0700 |
|---|---|---|
| committer | Irene Knapp <ireneista@irenes.space> | 2026-10-05 01:58:58 -0700 |
| commit | e889b122cee2eb60cd1577c22560c8918b30d749 (patch) | |
| tree | 1c45bc3869657e4f1b5b6f551bd815b07db86897 /historical/describe-redact.sed | |
| parent | 7acba568178af4048135a858a7ca9c6fb9c00520 (diff) | |
move around a bunch of the files that aren't actually in use
to better describe their status Force-Push: yes Change-Id: If5ef70b7872700ff36ef07f20aac1f3b991dff45
Diffstat (limited to 'historical/describe-redact.sed')
| -rw-r--r-- | historical/describe-redact.sed | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/historical/describe-redact.sed b/historical/describe-redact.sed new file mode 100644 index 0000000..1303058 --- /dev/null +++ b/historical/describe-redact.sed @@ -0,0 +1,5 @@ +# Pipe either memory segment's output through this after the other script, +# to remove things that depend on exact addresses. + +/^[0-9a-f]\{16\}/d +s/^ lit [0-9]\+ exit$/ lit REDACTED exit/ |