- denise
- rm -f override.sid.all3
- for i in main contrib non-free main.debian-installer; do cat override.sid.$i >> override.sid.all3; done
+ denise &>/dev/null
+ rm -f override.sid.all3 override.sid.all3.src
+ for i in main contrib non-free main.debian-installer; do
+ cat override.sid.$i >> override.sid.all3
+ if [ "$i" != "main.debian-installer" ]; then
+ cat override.sid.$i.src >> override.sid.all3.src
+ fi
+ done