diff options
Diffstat (limited to 'uefi-tools/handy-snippets.sh')
| -rw-r--r-- | uefi-tools/handy-snippets.sh | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/uefi-tools/handy-snippets.sh b/uefi-tools/handy-snippets.sh deleted file mode 100644 index 834ca741..00000000 --- a/uefi-tools/handy-snippets.sh +++ /dev/null @@ -1,8 +0,0 @@ -# -# First step in looking for duplicate file GUIDs -# -# find . -name "*.inf" | \ -# xargs grep -H FILE_GUID | \ -# sed 's/^\(.*\):[ \t]*FILE_GUID[ \t]*=[ \t]*\([a-f.A-F.0-9.-]*\).*\r$/\2 \1/' | \ -# sort -# |