Skip to content

Instantly share code, notes, and snippets.

@arkenidar
Last active May 19, 2025 08:19
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 ( + EduPack ) con *lingua italiana* attivata e menù *inserisci carattere tilde*
echo [requisiti] richiede *git* e *wget* -------------------------------
which git
which wget
echo [1/3] ZeroBraneStudio ( + EduPack ) da GitHub.com ------------------
git clone https://github.com/pkulchenko/ZeroBraneStudio
git clone https://github.com/pkulchenko/ZeroBraneEduPack
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