URL remoto da SSH a HTTPS e viceversa.

January 31, 2022, 12:00 am git ssh

  1. Apri il terminale.
  2. Cambia la tua directory corrente su quella del tuo progetto.
  3. Con questo comando elenchi i remote esistenti in modo da ottenere il nome di quello da modificare.
    $ git remote -v
    origin  git@github.com:USERNAME/REPOSITORY.git (fetch)
    origin  git@github.com:USERNAME/REPOSITORY....

Continue Reading...

Installa NixOS

October 12, 2021, 12:00 am distro linux

sh<(curl -L https://nixos.org/nix/install) --daemon

Note:

Per sicurezza fare la verifica della firma usando GPG firme.

VERIFICA INSTALLAZIONE

$ nix-env --version

nix-env (Nix.3.6)

Continue Reading...

Comando linux kill

July 29, 2021, 12:00 am

per avere la lista di tutti i TERM signal possibili digita:

kill -l

i più comuni TERM signal usati sono:

1 (HUP) - Riavvia il processo

9 (KILL) - Uccidi il processo

15 (TERM) -Arresta il processo

esempio

kill -1 (PID\_number)

kill -9 (PID\_number)

Ad esempio se Firefox non ris...

Continue Reading...

comando dd per flashare immagine OS

July 20, 2021, 12:00 am

sudo dd if=image.iso of=/dev/sdx bs=16M oflag=direct status=progress

Continue Reading...