da Denis | Ott 22, 2023 | Guide
Vim, o Vi IMproved, è un editor di testo open source e multipiattaforma, nato per fornire una versione migliorata, appunto, di Vi. Nato nel 1991, è un programma amato e odiato dagli utenti GNU/Linux. Due argomentazioni possono essere spese innegabilmente a vantaggio...
da Denis | Ott 22, 2023 | Guide
Questo spazio è dedicato agli script e comandi concatenati che posso risultare utili al mantenimento e alla gestione di un sitema GNU/Linux. Indice 1 Sistema 1.1 Controllare se un servizio è in esecuzione 1.2 Controllare se un programma è installato 1.3 Terminare il...
da Denis | Ott 22, 2023 | Guide
Rinominare un elevato numero di files potrebbe essere un’operazione lunga e noiosa se effettuata con il normale file manager grafico. In alcuni casi è possibile servirsi del terminale creando un piccolo script in grado di effettuare l’operazione...
da Denis | Ott 22, 2023 | Guide
Privilegi Utente Con questo comando da dentro la shell di MySQL vediamo i vari utenti abilitati e i relativi host: mysql> SELECT user,host,password FROM mysql.user; Assegnare certi privilegi all’utente ciccio su tutti i database: mysql> GRANT...
da Denis | Ott 22, 2023 | Guide
Indice 1 Premessa 2 I Proxies 3 I Proxies Anonimi 4 Tor Premessa Quando navighiamo nella rete, i server del ns.Internet Provider ci assegnano un numero Ip (Internet Protocol); composto da 4 serie di numeri compresi tra 0 e 255 (es.87.6.42.107), che ci identifica in...
da Denis | Ott 22, 2023 | Guide
Indice 1 Cos’è il terminale? 1.1 Perchè utilizzare una shell quando posso disporre di interfacce utente che permettono di fare le medesime cose? 1.2 Tipi di shell 2 Apriamo la shell 2.1 Autocompletamento dei comandi 3 I comandi fondamentali 3.1 Esploriamo il...