codice:
echo.
echo [Shell] >> tuofile.txt
echo CustomDefaultThemeFile = "%WinDir%\Resources\Themes\MyTheme.theme" >> tuofile.txt