14 nuove funzionalità di Thunderbird 3 che ti faranno gioire
Abbiamo trattato le funzionalità di Outlook 2010 in modo molto dettagliato, ma poiché non verrà rilasciato prima di giugno 2010, è tempo di dare un'occhiata a Thunderbird 3.
Sei un utente Linux Mint ? Hai bisogno di capire come modificare i tuoi PPA sul tuo sistema ma non sai cosa fare? Possiamo aiutare! Segui questa guida mentre esaminiamo come modificare i PPA in Linux Mint!
Modifica PPA in Linux Mint – GUI
Se sei un utente di Linux Mint, è probabile che tu non sia un grande fan di avere a che fare con il terminale. Per fortuna, è possibile modificare i PPA in Linux Mint con una GUI. Ecco come farlo.
Innanzitutto, premi il tasto Win sulla tastiera per aprire la finestra di ricerca su Cinnamon , Mate o qualsiasi desktop Linux Mint che stai utilizzando. Da lì, digita "Sorgenti software".
Se non riesci a trovare l'app nei risultati di ricerca, premi Alt + F2 per aprire il menu di avvio rapido. Successivamente, digita il pkexec mintsources
comando e premi il tasto Invio per aprirlo.
Una volta che sei nell'app Software Sources in Linux Mint, vedrai diverse scelte tra cui scegliere. Esistono "Repository ufficiali", "PPA", "Repository aggiuntivi", "Chiavi di autenticazione" e "Manutenzione".
Per modificare (ovvero abilitare, disabilitare o persino aggiungere nuove fonti software), trova la sezione "PPA" e fai clic su di essa. Quest'area gestisce tutti i repository di software di terze parti che aggiungi a Mint.
Per aggiungere un nuovo PPA, fai clic sul pulsante "Aggiungi" e aggiungilo. Per rimuoverne uno, fai clic su "Rimuovi" e per modificare un repository esistente, fai clic sul pulsante "Modifica".
Quando hai finito di modificare le tue sorgenti software in Linux Mint, chiudi l'app.
Modifica PPA in Linux Mint – Terminale
Un altro modo per modificare l'elenco delle sorgenti software in Linux Mint è tramite il terminale, aprendo la /etc/apt/sources.list.d/
cartella. In quest'area, Linux Mint contiene tutte le sorgenti software. Ogni PPA che aggiungi al tuo sistema riceve il suo file in questa cartella.
Per avviare il processo di modifica, dovrai aprire una finestra di terminale sul desktop di Linux Mint. Premi Ctrl + Alt + T sulla tastiera oppure cerca "terminale" nel menu dell'app e aprilo in questo modo.
Con la finestra del terminale aperta e pronta per l'uso, usa il comando CD e spostati nella /etc/apt/sources.list.d/
cartella. Una volta che sei in questa cartella, puoi eseguire il comando ls per visualizzare il contenuto della directory.
ls
Se hai molti file PPA, potrebbero essercene molti da sistemare. Per semplificare, puoi combinare il comando ls con il comando filtro grep . Puoi usare grep per ordinare varie parole chiave.
Ad esempio, se stai cercando di trovare il ppa di sicurezza di Mozilla, cercherai il comando seguente.
ls | grep "mozilla"
Rimuovere un PPA
Se vuoi rimuovere completamente un PPA da Linux Mint, puoi farlo direttamente nella cartella usando i comandi di base del terminale Bash. Per eliminare un PPA dal sistema, iniziare a utilizzare il comando rm e specificare il nome del file PPA.
Ad esempio, per eliminare il PPA di Mozilla Security da Linux Mint (il PPA che fornisce aggiornamenti rapidi di Firefox e Thunderbird), è possibile eseguire il comando rm insieme al file "ubuntu-mozilla-security-ppa-focal.list".
cd /etc/apt/sources.list.d/
sudo rm ubuntu-mozilla-security-ppa-focal.list
Per rimuovere qualsiasi file di elenco PPA dal tuo PC Linux Mint, sostituisci semplicemente "my_ppa_file_here.list con il file PPA che desideri rimuovere da Linux Mint (che risiede in /etc/apt/sources.list.d/
.
cd /etc/apt/sources.list.d/ sudo rm my_ppa_file_here.list
Dopo che il tuo PPA è stato rimosso da Linux Mint, dovrai eseguire il comando update . Questo comando assicurerà che Linux Mint sappia che il vecchio PPA non è più sul sistema.
sudo apt update
Una volta aggiornato, il tuo PPA verrà rimosso.
Modifica un PPA esistente
È possibile modificare qualsiasi PPA esistente su Linux Mint utilizzando il terminale. Per farlo, dovrai prima entrare nella /etc/apt/sources.list.d/
directory usando il comando CD qui sotto.
cd /etc/apt/sources.list.d/
Da qui, dovrai eseguire il comando ls per visualizzare il contenuto della cartella in modo da poterne individuare uno a scopo di modifica.
ls
O per un migliore filtraggio.
ls | grep "nome di ppa"
Quando hai capito il nome del tuo PPA, usa l' editor di testo nano per modificare il PPA. Ad esempio, per modificare il PPA di Mozilla Security, devi inserire:
sudo nano ubuntu-mozilla-security-ppa-focal.list
Una volta in modalità di modifica, usa l'editor di testo Nano per modificare e cambiare ciò che ti piace. Al termine, premi Ctrl + O per salvarlo e premi Ctrl + X per uscire dalla modifica.
Utilizzare il seguente esempio di comando di seguito per modificare qualsiasi PPA.
cd /etc/apt/sources.list.d/ sudo nano my-ppa-file.list
Aggiungi un nuovo PPA
L'aggiunta di un nuovo PPA a Linux Mint tramite il terminale è molto, molto più semplice che rimuoverli o modificarli. Se desideri aggiungere un nuovo PPA a Linux Mint, usa semplicemente il comando add-apt-repository di seguito.
sudo add-apt-repository ppa:my-ppa/ppa
Abbiamo trattato le funzionalità di Outlook 2010 in modo molto dettagliato, ma poiché non verrà rilasciato prima di giugno 2010, è tempo di dare un'occhiata a Thunderbird 3.
Ogni tanto tutti abbiamo bisogno di una pausa, se cercate un gioco interessante, provate Flight Gear. È un gioco open source multipiattaforma gratuito.
MP3 Diags è lo strumento definitivo per risolvere i problemi nella tua collezione audio musicale. Può taggare correttamente i tuoi file mp3, aggiungere copertine di album mancanti e correggere VBR.
Proprio come Google Wave, Google Voice ha generato un certo fermento in tutto il mondo. Google mira a cambiare il nostro modo di comunicare e poiché sta diventando
Esistono molti strumenti che consentono agli utenti di Flickr di scaricare le proprie foto in alta qualità, ma esiste un modo per scaricare i Preferiti di Flickr? Di recente siamo arrivati
Cos'è il campionamento? Secondo Wikipedia, "È l'atto di prendere una porzione, o campione, di una registrazione sonora e riutilizzarla come strumento o
Google Sites è un servizio di Google che consente agli utenti di ospitare un sito web sul server di Google. Ma c'è un problema: non è integrata alcuna opzione per il backup.
Google Tasks non è così popolare come altri servizi Google come Calendar, Wave, Voice, ecc., ma è comunque ampiamente utilizzato e costituisce parte integrante della vita delle persone.
Nella nostra precedente guida sulla cancellazione sicura del disco rigido e dei supporti rimovibili tramite Ubuntu Live e CD di avvio DBAN, abbiamo discusso del fatto che il disco basato su Windows
Stai cercando di registrare la tua voce sul tuo PC Linux? Scopri i migliori software e come utilizzarli con la nostra guida dettagliata.