Skip to content

Instantly share code, notes, and snippets.

@arkenidar
Created September 3, 2023 14:40
Show Gist options
  • Save arkenidar/6de38b320dc0b24491fab4e7229f2198 to your computer and use it in GitHub Desktop.
Save arkenidar/6de38b320dc0b24491fab4e7229f2198 to your computer and use it in GitHub Desktop.
[sh, git, wget] ZeroBraneStudio con *lingua italiana* attivata e menù *inserisci carattere tilde*
echo [requisiti] richiede *git* e *wget* -------------------------------
echo [1/3] ZeroBraneStudio da github -------------------------------
git clone https://github.com/pkulchenko/ZeroBraneStudio
echo [2/3] configura lingua italiana, *it* -------------------------------
printf "\n language = 'it' \n" >> ZeroBraneStudio/cfg/user.lua
echo [3/3] estensione per carattere *tilde* -------------------------------
wget https://raw.githubusercontent.com/pkulchenko/ZeroBranePackage/master/tildemenu.lua
mv tildemenu.lua ZeroBraneStudio/packages
echo COMPLETATO
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment