mirror of
git://projects.qi-hardware.com/xburst-tools.git
synced 2024-11-25 20:04:03 +02:00
7b710f3e08
develop. this is not good. we should add the debian/ folder to master branch
this commit:
cp the debina/ folder from [debian] branch
then remove the [debian] branch
Signed-off-by: Xiangfu Liu <xiangfu@sharism.cc>
109 lines
1.8 KiB
Bash
109 lines
1.8 KiB
Bash
#!/bin/sh
|
|
# Clean up after a failed build.
|
|
#
|
|
# Requires access to .gitignore files excluding _all_ modified files.
|
|
#
|
|
# Requires a working /dev/fd (with more than just /dev/fd/0 and 1)
|
|
# or gawk.
|
|
|
|
set -e
|
|
|
|
splitgitignore='#!/usr/bin/awk
|
|
!/^#/ && !/^$/ {
|
|
glob = /[[*?]/;
|
|
directory = /\/$/;
|
|
sub(/\/$/, "");
|
|
anchored = /\//;
|
|
sub(/^\//, "");
|
|
|
|
output = "nonexistent/nonsense";
|
|
if (anchored) {
|
|
if (!directory && !glob)
|
|
output = "/dev/fd/1";
|
|
else if (directory && !glob)
|
|
output = "/dev/fd/3";
|
|
else if (!directory && glob)
|
|
output = "/dev/fd/4";
|
|
else if (directory && glob)
|
|
output = "/dev/fd/5";
|
|
} else {
|
|
if (!directory)
|
|
output = "/dev/fd/6";
|
|
else
|
|
output = "/dev/fd/7";
|
|
}
|
|
print >> output;
|
|
}
|
|
'
|
|
|
|
offlimits="-type d -name '.*' -prune -o -type d -name debian -prune"
|
|
|
|
remove_file_globs() {
|
|
while read glob
|
|
do
|
|
eval "rm -f $glob"
|
|
done
|
|
}
|
|
|
|
remove_directory_globs() {
|
|
while read glob
|
|
do
|
|
eval "rm -fr $glob"
|
|
done
|
|
}
|
|
|
|
remove_file_findpatterns() {
|
|
while read pat
|
|
do
|
|
find . $offlimits -o \
|
|
'(' -name "$pat" -execdir rm -f '{}' + ')'
|
|
done
|
|
}
|
|
|
|
remove_directory_findpatterns() {
|
|
while read pat
|
|
do
|
|
find . $offlimits -o \
|
|
'(' -type d -name "$pat" -execdir rm -fr '{}' + ')'
|
|
done
|
|
}
|
|
|
|
find . $offlimits -o '(' -name .gitignore -print ')' |
|
|
while read file
|
|
do
|
|
(
|
|
cd "$(dirname "$file")"
|
|
# Dispatch using pipes. Yuck.
|
|
{ { { { {
|
|
awk "$splitgitignore" |
|
|
{
|
|
# anchored files (globless)
|
|
xargs -d '\n' rm -f
|
|
}
|
|
} 3>&1 >&2 |
|
|
{
|
|
# anchored directories (globless)
|
|
xargs -d '\n' rm -fr
|
|
}
|
|
} 4>&1 >&2 |
|
|
{
|
|
# anchored files
|
|
remove_file_globs
|
|
}
|
|
} 5>&1 >&2 |
|
|
{
|
|
# anchored directories
|
|
remove_directory_globs
|
|
}
|
|
} 6>&1 >&2 |
|
|
{
|
|
# unanchored files
|
|
remove_file_findpatterns
|
|
}
|
|
} 7>&1 >&2 |
|
|
{
|
|
remove_directory_findpatterns
|
|
} >&2
|
|
) < "$file"
|
|
done
|