Parece obvio pero no lo es tanto cuando la configuración por defecto del gestor archivos PCManFM que usa Openbox con Raspbian en la Raspberry Pi no muestra la opción, al igual que la de expulsar un pendrive USB. Como en aquella otra ocasión…