=== Peppino846 is now known as Peppino [08:26] Buongiorno. Avrei la necessità di aumentare la partizione sda3 del mio serverino (ubuntu 20). Qualcuno mi puo' aiutare a capire come si fa? ho provato ad installare gparted, ma mi pare di capire che non riesco ad eseguirlo da riga di comando (non ho trovato documentazione). Il disco sda è già sufficientemente capiente (si tratta di un server [08:26] virtuale) [08:41] risolto con parted:)  grazie comunque [19:31] salve, da dove scarico la versione 32 bit?