#!/bin/sh
set -xe

if [ "$1" = "-A" ]; then shift; fi

dist=$1

kernels=$(schroot -c "$dist-sbuild" --directory=/ -u root -- sh -c 'apt-get -y install wget apt-file >&2 && apt-file update >&2 && apt-file search --package-only --regexp "/usr/src/.*/\.config"' </dev/null)

echo "$dist" $kernels