Download as
Browse Code »

Commit 19f275024ff3c62a74a21ed35fa6eff863537527

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

Melhorando geração do runtime windows.

Showing 2 changed files with 47 additions and 2 deletions   Show diff stats
win/install-cross.sh
  Diff comments   View file @19f2750
@@ -40,7 +40,8 @@ EOF @@ -40,7 +40,8 @@ EOF
40 sudo zypper --non-interactive in \ 40 sudo zypper --non-interactive in \
41 adwaita-icon-theme \ 41 adwaita-icon-theme \
42 gettext-tools \ 42 gettext-tools \
43 - glib2-devel 43 + glib2-devel \
  44 + optipng
44 45
45 while read FILE 46 while read FILE
46 do 47 do
win/makeruntime.sh
  Diff comments   View file @19f2750
@@ -188,10 +188,54 @@ copy_loaders() { @@ -188,10 +188,54 @@ copy_loaders() {
188 188
189 } 189 }
190 190
  191 +copy_theme() {
  192 +
  193 + mkdir -p "${TARGET}/etc"
  194 + cp -rv "${prefix}/etc/gtk-3.0" "${TARGET}/etc"
  195 +
  196 + rm -f $TARGET_PATH/etc/gtk-3.0/settings.ini
  197 + echo "[Settings]" >> $TARGET_PATH/etc/gtk-3.0/settings.ini
  198 + echo "gtk-theme-name = MS-Windows" >> $TARGET_PATH/etc/gtk-3.0/settings.ini
  199 + echo "gtk-icon-theme-name = ${1}" >> $TARGET_PATH/etc/gtk-3.0/settings.ini
  200 + echo "gtk-fallback-icon-theme = ${1}" >> $TARGET_PATH/etc/gtk-3.0/settings.ini
  201 + echo "gtk-font-name = Sans 10" >> $TARGET_PATH/etc/gtk-3.0/settings.ini
  202 + echo "gtk-button-images = 1" >> $TARGET_PATH/etc/gtk-3.0/settings.ini
  203 +
  204 + mkdir -p ${TARGET}/share/icons
  205 + if [ "$?" != 0 ]; then
  206 + echo "Can´t create icons folder"
  207 + exit -1
  208 + fi
  209 +
  210 + cp -rv /usr/share/icons/${1} ${TARGET}/share/icons
  211 + if [ "$?" != 0 ]; then
  212 + echo "Can´t copy ${1} icons"
  213 + exit -1
  214 + fi
  215 +
  216 + mkdir -p ${TARGET}/share/themes
  217 + if [ "$?" != 0 ]; then
  218 + echo "Can´t create themes folder"
  219 + exit -1
  220 + fi
  221 +
  222 + cp -rv /usr/share/themes/${1} ${TARGET}/share/themes
  223 + if [ "$?" != 0 ]; then
  224 + echo "Can´t copy ${1} theme"
  225 + exit -1
  226 + fi
  227 +
  228 +}
  229 +
191 copy_dll 230 copy_dll
192 copy_locale 231 copy_locale
193 copy_loaders 232 copy_loaders
  233 +copy_theme "Adwaita"
  234 +
  235 +# Otimiza todos os pngs
  236 +#echo "Optimizing..."
  237 +#find ${TARGET} -iname *.png -exec optipng -o7 -quiet {} \; 2>&1 > /dev/null
  238 +
194 239
195 -echo ${GDK_LOADERS}  
196 240
197 echo "Runtime ok" 241 echo "Runtime ok"