2023-12-21 15:30:31 +00:00
|
|
|
#!/bin/bash
|
2014-06-08 21:21:13 +00:00
|
|
|
# Use this script to make an archive of the contents of all
|
|
|
|
# of the configuration files we edit with editconf.py.
|
2023-12-21 14:15:50 +00:00
|
|
|
for fn in $(grep -hr editconf.py setup | sed "s/tools\/editconf.py //" | sed "s/ .*//" | sort | uniq); do
|
2014-06-08 21:21:13 +00:00
|
|
|
echo ======================================================================
|
2023-12-21 14:58:34 +00:00
|
|
|
echo "$fn"
|
2014-06-08 21:21:13 +00:00
|
|
|
echo ======================================================================
|
2023-12-21 14:58:34 +00:00
|
|
|
cat "$fn"
|
2014-06-08 21:21:13 +00:00
|
|
|
done
|
|
|
|
|