> Как вариант удалить руками. Для этого просмотреть файл makefile (тут
 > описано что куда), секцию install и удалить. Либо, если разработчик
 > мастер и описал процесс удаления, набрать make uninstall.

Боюсь руки отпадут обработать 1240 файлов... (make uninstall нету)
Пока есть такой вариант (еще очень сырой)
#! /bin/sh

BADARGS=65
EXPECTED_ARGS=1

if [ $# -ne $EXPECTED_ARGS ]
then
        echo "Способ использования: `basename $0` list-file"
        exit $E_BADARGS
fi

if [ ! -w "$1" ]
then
        echo "Ошибка!!! Імя файла \"$1\" указано не верно или нет прав для 
чтения..."
        exit $E_BADARGS
fi

echo "Удаление списка файлов указаного в $1"
while read line
do
        if [ -f "$line" ]
        then
                rm "$line"
                echo "rm $line"
        fi
done <"$1"

Не плохо было б удалять с конца, т.е. сначала файлы, а потом каталогы 
(когда они уже пустые), пока не знаю как...

-- 
ubuntu-ru mailing list
[EMAIL PROTECTED]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-ru

Дати відповідь електронним листом