Другие ответы полностью верны, но я мог бы добавить третий вариант, чтобы все было описано здесь. Вы также можете использовать:
pkill -9 middleman
Для получения дополнительной информации и дополнительных опций см. [F2].
Не важно, какой из этих методов вы используете. Они все будут работать. Но зная параметры, если они полезны, если вы хотите каким-то образом изменить поведение, так как соответствующие справочные страницы показывают, какие другие варианты соответствия доступны.
Используйте Gparted live CD, чтобы убедиться, что вы удалили все предыдущие сектора вашего жесткого диска. Этот инструмент должен позволить вам полностью удалить Linux. http://gparted.org/livecd.php Надеюсь, что это поможет! Matt