Linux

Installazione server

Install Conda

EFIBOOTMGR – L’APPLICAZIONE PER INTERAGIRE E MODIFICARE L’ EFI BOOT MANAGER – LINUX

Fonte efibootmgr è un’applicazione userspace utilizzata per modificare il Boot Manager Extensible Firmware Interface (EFI) di Intel. EFI che oramai ha rimpiazzato il BIOS è l’interfaccia firmware che si occupa del […]

How to enable gui root login

Fonte In this post I am going to explain how to enable GUI root access on Debian 10. It is very similar to enabling Gui Root Login in Debian 8 […]

Linux Keyboard setup

Fonte Configurazione della tastiera Per configurare la tastiera è necessario installare keyboard-configuration. È necessario anche il pacchetto console-setup. Le impostazioni della tastiera sono memorizzate nel file /etc/default/keyboard. Questo file è […]

How to add rc.local in Debian 9

Fonte On Debian 9, the traditional “rc.local” has been deprecated. For traditional Linux users and administrators, there is a way to get it back using SystemD. See the procedure below […]

Mount disco fisico in Proxmox container

Fonte Proxmox supports the creation of custom mountpoints inside a lxc container straight from the proxmox container .conf file: locate your container conf file under /etc/pve/lxc/<ID>.conf and add the following: mp0:/mount/point/on/host,mp=/mount/point/on/lxc mp1:/another/mount/point/on/host,mp=/another/mount/point/on/lxc […]

Linux PC Info

Con questo comando ( utilizzato da root o con sudo) e un po’ di grep puoi conoscere varie cose: dmidecode Per sempio: versione del Bios dmidecode | grep -A 3 […]

Dell poweredge 830 usb boot

Per fare il boot da usb sul server poweredge 830 devi modificare le seguenti voci nel bios: Hard-disk driver sequenze : metti come prima voce Hard-disk-emulated usb flash drive Last […]

Rimuovere password da portachiavi o keyring

Per rimuovere la richiesta di accesso al portachiavi procedi come segue: Rimuovi i file nella cartella ~/.local/share/keyrings/ rm ~/.local/share/keyrings/* lancia il programma che chiedeva accesso al keyring alla richiesta di inserire […]

Stampante LaserJet Pro 200 (i.e. Lucia) problemi di scan

I driver della suddetta stampante non supportano nativamente la funzione scan on pc con protocollo sabe o altro. La cosa si verifica e si risolve senza eccessivi traumi con il […]

Modifica variabili d’ambiente in Debian

Modifica per ssh e tty Se vuoi modificare  le variabili d’ambiente per tutti gli utenti scrivi le tue modifiche in: /etc/environment PATH=”/usr/local/bin:/usr/bin:/bin:/usr/local/games:/usr/games:/ciccio/bin” TEST_ENVVAR=”test123″ Crea un file mio_env.sh in etc/profile.d/ contenente […]

Installazione di Matlab in Linux

Come installare: Questa dovrebbe essere una buona guida…. da verificare!!! La parte di creazione del menu va fatta come spiegato nel paragrafo successivo.   Sistemazione del menù Installa il pacchetto: […]

Aggiungere o modificare variabile d’ambiente in linux

I punti in cui agire sono nel dir /etc/ bash.bashrc profile environment La soluzione preferibile: creare un file di tipo .sh  (new-path-script.sh) in /etc/profile.d con un contenuto del tipo PATH=new-dir-da-aggiungere:$PATH […]

Menu Applicazioni Linux

Metodo Grafico: Per aggiungere, modificare, rimuovere una entry nel menu delle applicazioni puoi usare il programma alacarte: #apt-get install alacarte poi attiva, modifica o elimina le voci a tuo piacimento: […]

Disabilitare servizi in Debian

Disabilitare un servizio temporanemante Per disabilitare un servizio temporaneamente eseguire da root o con i giusti privilegi il comanto: # service XXXX stop Con lo stesso comando si possono anche […]

Driver proprietario NVIDIA

fonte   Driver proprietario NVIDIA Questa pagina descrive come installare il driver proprietario per display NVIDIA su sistemi Debian. NOTA: Per i sistemi Apple seguire prima le istruzioni in http://askubuntu.com/a/613573/134848 […]

Debian share home

Per condividere una cartella o tutta la home questa è una configurazione che funziona da inserire in /etc/samba/smb.conf: [global] workgroup = WORKGROUP server string = Samba Server %v #netbios name […]

Debian usb Live with Persistent

fonte After several attempts to create a waldorf liveUSB with persistence I finally bumped into this post “The Correct Way for Persistence on a LiveUSB for WALDORF” by kyeshi98 [1], […]

How to install VNC Server on Debian 8

Install VNC Server on Debian Very similar to Ubuntu (since Ubuntu is based on Debian), you only need to use vnc4server package to install VNC Server # apt-get install tightvncserver […]

Debian wheezy mount home

per montare le home sulle macchine linux in dominio UNITN oltre a fare il join nel dominio con il nome corretto ricordati di dare il comando kdestroy -A poi decommenta […]

Xfce – Dual Monitor

Fonte Any Xubuntu / Xfce version: Use Arandr to extend the display instead of cloning (mirror) it 1. Install Arandr, a simple GUI for XRandR: sudo apt-get install arandr   […]

How to install suggested packages in apt-get

Fonte # apt-get install –install-suggests [nome pacchetto]     Last updated: 9 Giugno 2015 by Pierluigi Minati

Proxmox container and NFS

Procedura valida per Proxmox 3.x. NFS Client Comandi per montare un share nfs in un container proxmox Accedi al server Proxmxo vzctl stop CTID vzctl set CTID –features “nfs:on” –save […]

Proxmox comandi utili

Visualizza container lista container accesi: vzlist lista tutte i container: vzlist -a Opera sul Container Comando principale vzctl START: vzctl start CTID STOP: vzctl stop CTID ESEGUI: vzctl exec …. [es: vzctl […]

Data e ora in debian

Per sincronizzare l’orologio di debian con qualche servizio internet installa: # apt-get install ntp e poi configura il file /etc/ntp.conf sostituendo se necessario i server di default con quello desiderato […]

Upgrade debian Wheezy to Debian jessie

Prima di tutto aggiorna Wheezzy apt-get update apt-get -y upgrade Poi modifica i source.list con il comando sed -i ‘s/wheezy/jessie/g’ /etc/apt/sources.list Ed infine aggiorna apt-get update apt-get -y dist-upgrade Ricordati […]

Change Default desktop environment

Per cambiare  il default desktop enviroment in Debian usa il comando: # update-alternatives –config x-session-manager e seleziona quello che preferici dalla lista Esempio per debian wheezy appena installata con Gnome […]

How to enable gnome root login on Debian 6

Fonte Step1: Login to a user account. Step2: Now open the file /etc/pam.d/gdm3 and comment out the fifth line: #auth required pam_succeed_if.so user != root quiet_success Content of: /etc/pam.d/gdm3 #%PAM-1.0 […]

Aggiungere share Samba a Conteiner proxmox

Esempio concreto montare la cartella smb://192.168.131.6/studenti nella cartella /var/www/Samba nel container 120   Montare la cartella samba nel server proxmox creare il mountpoint nel server proxmox mkdir /mnt/Studenti Editare il file \etc\fstab […]

keymaster: script per aggiungere chiavi apt

Questo script permette di aggiungere le chiavi ad aptitude/apt Uso sudo .keymaster [chiave da aggiungere] Codice gpg –keyserver-options http-proxy=proxy.unitn.it:3128 –keyserver keyserver.ubuntu.com –recv $1 echo sghiza en boton per installare la […]

grep elimina righe vuote

Se volete vedere le effettive linee attive di un file di configurazione in Linux escludendo eventuali righe con commenti è sufficente eseguire ad esempio: cat nomefile | grep -v “^#” […]

Manage user in Linux

Every user who has access to a Linux system needs a login and a password. Each user must belong to a primary group and for security or access purposes can […]

Formattare MBR da linux

Per formattare l’MBR da linux partire con un distro live e da console digitare: dd if=/dev/zero of=/dev/hda bs=512 count=1 Last updated: 11 Febbraio 2015 by Pierluigi Minati

Conoscere la versione di ubuntu/Debian installata

installa # apt-get install lsb-release digita nel terminale lsb_release -a Last updated: 11 Febbraio 2015 by Pierluigi Minati

Configurazione vsftp

Una guida rapida e (spero completa) alla installazione e all’uso di un server FTP usando vsftpd. La traccia base mi è stata data dall’articolo già pubblicato su questo sito, ed […]

Chroot example

sudo mkdir /media/ubuntu sudo mount /dev/sda3 /media/ubuntu sudo mount -t proc none /media/ubuntu/proc sudo mount -o bind /dev/ /media/ubuntu/dev sudo chroot /media/ubuntu /bin/bash sudo mkdir /media/ubuntu && sudo mount /dev/sda3 […]

Montare cartella via samba

Per montare uno share samba in modo che l’utente ci possa scrivere basta eseguire la seguente riga da root: mount -v -t cifs -o credentials=/etc/samba/credentials,uid=client_username,gid=client_usergroup //192.168.121.2/Tecnici/Comune/provola /media/Prove le credenziali per […]

apt error: setting locale failed

This can happen sometimes on fresh minimal/alternate installs or in other situations. The fix is pretty simple. Try these, in the following order, testing after each to see if the […]

Aggiornamenti automatici con Ubuntu

Aggiornamenti automatici, che passione. Meglio chiamarli “Unattended upgrades” altrimenti a qualcuno viene uno schioppone. Dato che oramai avete sicuramente finito di leggere il libro vediamo come automatizzare, se ne sentiamo […]

How to Disable/Remove Network-manager in Ubuntu or Debian

Fonte In Ubuntu or Debian, information on network interface configuration is stored in /etc/network/interfaces. If you modify /etc/network/interfaces to reconfigure any interface, you need to reload it so that the […]

How to boot last entry in grub boot loader

Fonte: askubuntu Editing the /etc/default/grub file Type in the terminal sudo nano -B /etc/default/grub and your password if asked. The nano editor will open. I changed the value of GRUB_DEFAULT […]

Installare e aggiornare Flash in Debian

Copiato da qui   Installazione Assicurarsi che il proprio file /etc/apt/sources.list includa la sezione contrib Installare flashplugin-nonfree (dalla sezione contrib): # apt-get install flashplugin-nonfree Aggiornamento Come aggiornare Adobe Flash Player: […]

Debian Lenny Latitude E6420 Wifi

Post Copiato da qui. Funziona anche con lenny Debian 7 “Wheezy” Add a “non-free” component to /etc/apt/sources.list, for example: # Debian 7 “Wheezy” deb http://http.debian.net/debian/ wheezy main contrib non-free Update […]

Linux Debian Base ssh

Chiavi SSH Supponiamo (a scopo dimostrativo) che il server remoto si trovi all’indirizzo IP 192.168.0.2 e supponiamo inoltre di avere un account chiamato user sulla macchina remota. Per prima cosa […]

Play DVD in Debian

Well, I decided to take a punt on installing it direct from VideoLAN: edit /etc/apt/sources.list and add the line: #Play DVD in debian deb http://download.videolan.org/pub/debian/stable/ / deb-src http://download.videolan.org/pub/debian/stable/ / Then add […]