/debian/patches/progress-linux/
../
0001-user-colors.patch
0002-hostname-colors.patch