#!/bin/sh

# Show information useful when reporting a bug in colo
# Copyright (C) 2004  Martin Michlmayr <tbm@cyrius.com>

# show the configuration files
COLO_CONFIGS="`find /boot -maxdepth 1 -name '*.colo'`"
if [ -z "$COLO_CONFIGS" ] ;
then
    echo "No .colo configuration file exists" >&3
    echo >&3
else
    for config in $COLO_CONFIGS
    do
        echo $config: >&3
        cat $config >&3
        echo >&3
    done
fi

# which kernels are present
ls -l / | grep vmlinu >&3
ls -l /boot/vmlinu* >&3
echo >&3

# which kernel images are installed
dpkg-query -W "kernel-image-*" >&3
echo >&3

# on which partitions are / and /boot?
df -h / /boot >&3

# vim: ts=4:expandtab:shiftwidth=4:
