Запускать каждый раз менеджер разделов не очень удобно. Раньше в кедах был usb-quick-formatter, но сейчас он сдох. Есть что-нибудь маленькое графическое для быстрого формата флэшки?
Gparted или Disks.
gparted - Редактор разделов для GNOME
gnome-disk-utility - Приложение для работы с устройствами хранения
The gnome-disk-utility project provides the Disks application for dealing with storage devices.
Даже это какое-то монструзное, все диски там, лишнего много, да и гномовский интерфейс так себе. А есть что-то более простое и не гномовское?