Download as
Browse Code »

Commit 4cb19517dd01525c4d74a7725da9842ec2bde0ad

Authored by Perry Werneck
1 parent c7f27fd0
Exists in master and in 5 other branches develop, edit-header-bar, keypads, script-support, v5.2

Fixing win32 runtime.

Showing 1 changed file with 8 additions and 7 deletions   Show diff stats
win/makeruntime.sh.in
  Diff comments   View file @4cb1951
@@ -225,13 +225,14 @@ copy_theme() { @@ -225,13 +225,14 @@ copy_theme() {
225 mkdir -p "${TARGET}/etc" 225 mkdir -p "${TARGET}/etc"
226 cp -rv "${prefix}/etc/gtk-3.0" "${TARGET}/etc" 226 cp -rv "${prefix}/etc/gtk-3.0" "${TARGET}/etc"
227 227
228 - rm -f $TARGET_PATH/etc/gtk-3.0/settings.ini  
229 - echo "[Settings]" >> $TARGET_PATH/etc/gtk-3.0/settings.ini  
230 - echo "gtk-theme-name = MS-Windows" >> $TARGET_PATH/etc/gtk-3.0/settings.ini  
231 - echo "gtk-icon-theme-name = ${1}" >> $TARGET_PATH/etc/gtk-3.0/settings.ini  
232 - echo "gtk-fallback-icon-theme = ${1}" >> $TARGET_PATH/etc/gtk-3.0/settings.ini  
233 - echo "gtk-font-name = Sans 10" >> $TARGET_PATH/etc/gtk-3.0/settings.ini  
234 - echo "gtk-button-images = 1" >> $TARGET_PATH/etc/gtk-3.0/settings.ini 228 + rm -f ${TARGET}/etc/gtk-3.0/settings.ini
  229 + mkdir -p ${TARGET}/etc/gtk-3.0
  230 + echo "[Settings]" >> ${TARGET}/etc/gtk-3.0/settings.ini
  231 + echo "gtk-theme-name = MS-Windows" >> ${TARGET}/etc/gtk-3.0/settings.ini
  232 + echo "gtk-icon-theme-name = ${1}" >> ${TARGET}/etc/gtk-3.0/settings.ini
  233 + echo "gtk-fallback-icon-theme = ${1}" >> ${TARGET}/etc/gtk-3.0/settings.ini
  234 + echo "gtk-font-name = Sans 10" >> ${TARGET}/etc/gtk-3.0/settings.ini
  235 + echo "gtk-button-images = 1" >> ${TARGET}/etc/gtk-3.0/settings.ini
235 236
236 mkdir -p ${TARGET}/share/icons 237 mkdir -p ${TARGET}/share/icons
237 if [ "$?" != 0 ]; then 238 if [ "$?" != 0 ]; then