>>unix — это операционная система
> Что, правда? Семейство ОС является операционной системой?спросите у Томпсона, Ричи, Кернигана и прочих её разработчиков·
мне почему-то кажется, они честно ответят, что разработали всё-таки _одну_ операционную систему с таким названием, а не целое их семейство·
>>linux — нет
> Мне казалось, что уже до самых дальних провинций дошел общеупотребительный синоним Linux
> = GNU/Linux
о! вы нашли ещё одно определение для слова «linux»·
но стоит ли множить сущности?
linux — это ядро·
используемое, например, операционной системы gnu (такой вариант её разработчики просят называть gnu/linux)·