rm -R ~/workspaces/gaia/shared/style/ mkdir ~/workspaces/gaia/shared/style cp -R ~/git/Gaia-UI-Building-Blocks/menus_dialogs/* ~/workspaces/gaia/shared/style cp -R ~/git/Gaia-UI-Building-Blocks/widgets/* ~/workspaces/gaia/shared/style #make-install en gaia read -p "Quieres regenerar el profile en Gaia? (y/n) " RESP if [ "$RESP" = "y" ]; then cd ~/workspaces/gaia/ rm -R profile DEBUG=0 make else echo "No make install" fi