+ echo "application()" + echo "application(${instfile##*/applications/})" if ! grep -q '^Type=Application$' "$instfile"; then continue; fi if ! grep -q '^Exec=' "$instfile"; then continue; fi Shouldn't these pairs of lines be swapped, so that we don't emit provides for things that aren't actually Type=Application for example?