Как насчет
sed 's/ \+/, /g' file
{02, 12, 04, 01, 07, 10, 11, 06, 08, 05, 03, 15, 13, 00, 14, 09},
{14, 11, 02, 12, 04, 07, 13, 01, 05, 00, 15, 10, 03, 09, 08, 06},
{04, 02, 01, 11, 10, 13, 07, 08, 15, 09, 12, 05, 06, 03, 00, 14},
{11, 08, 12, 07, 01, 14, 02, 13, 06, 15, 00, 09, 10, 04, 05, 03}
Не знаю насчет ShredOS, но все этапы установки описаны в файле Redme.txt, вот обязательные важные шаги для загрузки драйверов (из файла Readme):
Insert DUD floppy diskette into a floppy drive,type in the commands:
1) login as root
2) mount /dev/fd0 /media (Legacy Floppy)
or
2) mount /dev/sd<x> /media (USB Floppy)
or
2) mount -o loop centos52.img /media (driver image)
3) cd /media ; sh./install
4) cd ~; umount /media
Вы все еще ищете решение этой проблемы?
Скачайте ShredOS и почитайте buildroot. Вероятно, это не то, что вы ищете, если вам нужно быстрое решение, поскольку это крутая кривая обучения.
Спросите @partialvolume (это я ), добавит ли он этот драйвер при следующем обновлении?