Categoria: Appunti liberi *nix
Quale tipo di shell uso in Linux? Per i sistemi Linux sono disponibili diverse shell. Alcuni delle più popolari sono: bash ksh zsh tcsh Ad esempio, se si accede a un sistema Linux sconosciuto, è possibile...
PDFArranger è un piccolo e grazioso strumento che permette di dividere, unire, ruotare e riordinare uno o più file PDF in Linux. PDFArranger è in realtà un fork del progetto PDF-Shuffler. Anche l’icona di...
Skype è una delle applicazioni di comunicazione più popolari al mondo. La versione recente di Skype per Linux è migliorata molto, Microsoft ha persino aggiunto funzionalità come lo screen sharing (condivisione dello schermo), chatbot...
Per capire a cosa serva il file hosts ricordiamo che, ogni volta che un PC/server/tablet/smartphone (che chiamiamo genericamente host, senza “s” finale) voglia scambiare informazioni con un altro host tramite la rete internet deve...
Ultimamente i temi scuri vanno per la maggiore fra gli utenti Linux. Girovagando su reddit mi sono imbattuto in uno di questi, per le GTK, compatibile con GNOME Shell, Xfce e Cinnamon. Il tema...
Quando sei un appassionato di media e hai una grande collezione di film, foto o musica, le funzionalità sottostanti sarebbero molto utili. Condividere i media con la famiglia e altre persone. Accedi ai media...
Ecco dei trucchi da fare in KDE5 e OpenSUSE, che però avverto bisogna essere prima pratici di Linux. L’articolo Trucchi KDE5 e Opensuse proviene da Blog di trucchisuse. Fonte: http://trucchisuse.altervista.org/blog/trucchi-kde5-e-opensuse/
Dovete modificare un file pdf e cercate gli strumenti adatti? Questo tutorial fa al caso vostro. Risorse offline Un ottimo modo per modificare ogni particolare di un file pdf consiste nell’uso della suite per...
Con le ultime release di Ubuntu e relative derivate come Linux Mint o KDE neon, chi è in possesso di una stampante Brother DCP 1510 / DCP 1512 si sarà accorto di uno strano...
In questa guida vediamo come configurare un indirizzo IP statico su Ubuntu 18.04. Nella maggior parte delle situazioni l’indirizzo IP viene attribuito dinamicamente dal router. Impostarlo statico può essere necessario in diverse situazioni, ad...
MATE Desktop Environment 1.22 è uscito ormai da qualche giorno. Questa nuova versione del desktop environment nato dalle ceneri di GNOME 2 non arriverà ufficialmente nei repository di Ubuntu 18.04 (a meno che non...
Dassault Systèmes ha annunciato il rilascio di DraftSight 2019 SP0, la nuova versione del suo CAD multi piattaforma per Windows, macOS e Linux. Per Windows ci saranno solo versioni a pagamento Questa nuova release introduce...
In queste ultime settimane, complice l’imminente arrivo di GNOME 3.32, ho deciso di utilizzare come disto principale Ubuntu 19.04, la prossima versione stabile di Ubuntu il cui rilascio è previsto per il prossimo mese...
APPUNTI SU FLUXBOX Ho installato Fluxbox su Debian stretch con un semplice apt install fluxbox. Scaricato menu maker per garantire una configurazione del menu semplice: è un programmino in python non presente nella distro...
Se avete mai usato un dispositivo Raspberry Pi, probabilmente già sapete che raccomandano una distribuzione GNU/Linux chiamata Raspbian. Raspbian è una distro pesantemente personalizzata di Debian da eseguire su processori ARM a bassa potenza....
Come fare un deploy ovvero aggiornare un server Tomcat delle pagine in JSP e altro L’articolo Deploiare correttamente proviene da Blog di trucchisuse.
Questo tutorial presenta due modi per installare MongoDB su Ubuntu e distribuzioni Linux basate su Ubuntu. MongoDB è un database NoSQL libero e open source sempre più popolare che archivia i dati in raccolte...
ArchLinux Mirrorlist Manager è un semplice programma GUI che consente di gestire facilmente i mirror nel sistema Arch Linux. Per gli utenti di Linux, è importante assicurarsi di mantenere l’elenco dei mirror in buona...
VMware Tools migliora l’esperienza della tua macchina virtuale consentendoti di condividere appunti e cartelle tra le altre cose. Scopri come installare gli strumenti VMware su Ubuntu e altre distribuzioni Linux. In un precedente tutorial,...
Questo tutorial per principianti spiega i vari modi per installare VirtualBox su Ubuntu e distribuzioni GNU/Linux basate su Debian. L’offerta gratuita e open source di Oracle VirtualBox è un eccellente strumento di virtualizzazione, specialmente...
Usando Ubunto o Debian, cos’ì come una qualsiasi altra distro GNU/Linux, col passare del tempo, scaricando e provando vari pacchetti software o programmi, si perde traccia di tutto quello che si è installato. Questo...
Ubuntu 18.04.2 LTS è stato rilasciato giovedì scorso su pc Desktop, Server e Cloud. Questa point release include aggiornamenti, bug fixing e un nuovo hardware enablement stack (hwe). Come vi ho già accennato nell’articolo...
Vuoi cambiare la password di root in Ubuntu? Scopri come modificare la password per qualsiasi utente in Ubuntu. Entrambi i metodi, da terminale e da GUI, sono approfonditi. Quando hai bisogno di cambiare la...
Guida su come muovere files con estensione diversa da una directory ad un’altra. Può capitare di avere all’interno di una directory centinaia di files, ma se si necessita di muoverne solo alcuni. Il comando...
![[GUIDA] Vediamo come configurare un indirizzo IP statico su Ubuntu 18.04](https://www.laseroffice.it/blog/wp-content/uploads/2019/03/guida-vediamo-come-configurare-un-indirizzo-ip-statico-su-ubuntu-18-04.jpg "[GUIDA] Vediamo come configurare un indirizzo IP statico su Ubuntu 18.04")
![Come Installare VirtualBox su Ubuntu [Principianti]](https://www.laseroffice.it/blog/wp-content/uploads/2019/01/installare-virtualbox-6-0-su-debian-9-670x340.png "Come Installare VirtualBox su Ubuntu [Principianti]")
![[GUIDA] Ecco come installare Ubuntu 18.04.2 LTS HWE](;https://www.laseroffice.it/blog/wp-content/uploads/2019/02/guida-ecco-come-installare-ubuntu-18-04-2-lts-hwe.jpg "[GUIDA] Ecco come installare Ubuntu 18.04.2 LTS HWE")
![Come cambiare la password dell’utente in Ubuntu [Tutorial per principianti]](;https://www.laseroffice.it/blog/wp-content/uploads/2019/02/come-cambiare-la-password-dellutente-in-ubuntu-principianti-tutorial.png "Come cambiare la password dell’utente in Ubuntu [Tutorial per principianti]")
Warehouse: La Soluzione Ideale per Gestire le App… (45)
Ubuntu 20.04 LTS: Come prepararsi alla fine del… (23)
Le notizie minori del mondo GNU/Linux e dintorni… (17)
La Storia di Bcachefs: Quando l’Innovazione… (11)
Rilasciato Vulkan 1.3.302: Nuove Estensioni di… (7)
Il podcast di Marco’s Box – Puntata 197 (con video!) (7)
Creare Immagini ISO Personalizzate con… (4)
Ecco cosa ci lascia l’ultimo Red Hat Summit… (3)
Red Hat Enterprise Linux si unisce a WSL (3)
Addio a Jérémy Bobbio, il Visionario delle Build… (3)
