Linux Mint 15: Arriva mintSources il tool di Mint per gestione repository

Continua lo sviluppo di Linux Mint 15 e dei suoi componenti. Uno di questi è mintSources, il nuovo gestore repository sviluppato in casa Mint. mintSources sarà disponibile dapprima nella main edition di Linux Mint e successivamente arriverà in Linux Mint Debian Edition.

Diamogli uno sguardo.

Nella schermata principale è possibile gestire i repository principali di Linux Mint abilitando e disabilitando facilmente i backports, i repository unstable (romeo)

Si potrà anche switchare fra i mirror per selezionare quello più veloce; il tool provvederà da solo ai test di velocità individuando quello più veloce in base alla nostra locazione geografica (la grafica è carina):

Naturalmente
MintSources vi consentirà anche di gestire i PPA aggiuntivi aggiungendoli senza ricorrere al terminale

Presente (ovviamente) anche la schermata per gestire le chiavi pubbliche dei repository che aggiungiamo (in caso di problemi)

Presente, inoltre, la possibilità di risolvere eventuali problemi grazie alla sezione Maintenance.

mintSources sarà, come detto prima, incluso in Linux Mint 15. L’unica cosa che manca è l’inclusione del tool per la gestione dei driver proprietari, forse verrà riesumato Jockey, forse si scriverà un tool autonomo da zero. Gli sviluppatori di Linux Mint ancora non sanno quale strada intraprendere, l’unica cosa certa è che il tutto verrà incluso sicuramente in Linux Mint 15.

Ma vediamo le altre notizie inerenti a Linux Mint.