From fd512f0f8c040ea634d917203704d7257f229c92 Mon Sep 17 00:00:00 2001 From: Max Bradbury Date: Sun, 4 Oct 2020 13:39:24 +0100 Subject: [PATCH] remove more Windows 10 theme stuff --- package.sh | 9 --------- 1 file changed, 9 deletions(-) diff --git a/package.sh b/package.sh index 701758f..81c6e3b 100755 --- a/package.sh +++ b/package.sh @@ -16,15 +16,6 @@ done mkdir -p package/share/{themes,gtk-3.0} cp -r "$GTK_INSTALL_PATH"/share/glib-2.0/schemas package/share/glib-2.0 cp -r "$GTK_INSTALL_PATH"/share/icons package/share/icons -cp -r ~/Windows10 package/share/themes - -cat << EOF > package/share/gtk-3.0/settings.ini -[Settings] -gtk-theme-name = Windows10 -gtk-font-name = Segoe UI 10 -gtk-xft-rgba = rgb -gtk-xft-antialias = 1 -EOF mingw-strip package/*