Month: July 2021

  • git stash

    Capita di modificare codice nel branch sbagliato. Cosa fare? studiare come funziona git stash!Riporto di seguito degli appunti a riguardo. inserire i dati da spstare nello stage: git add . Migrare i dati nello stash (in un area copia): git stash ora lo stage e’ pulito tutto il suo contenuto e’ stato migrato nello stash…

  • php7 & php8

    This brings up a prompt to interactively select the alternative PHP binary path that php points to. To set the path without the interactive prompt: