Package Details: gnome-shell-extension-pop-shell 1.2.0-2

Git Clone URL: https://aur.archlinux.org/gnome-shell-extension-pop-shell.git (read-only, click to copy)
Package Base: gnome-shell-extension-pop-shell
Description: Pop Shell - Tiling window management in Gnome (WIP)
Upstream URL: https://github.com/pop-os/shell
Licenses: GPLv3
Conflicts: gnome-shell-extension-pop-shell
Submitter: vincent.ducamps
Maintainer: vincent.ducamps
Last Packager: vincent.ducamps
Votes: 12
Popularity: 0.71
First Submitted: 2020-11-07 08:14
Last Updated: 2021-01-13 16:38

Latest Comments

nave commented on 2022-01-09 10:19

hello.. i'm getting this message. (i don´t know if this is the right place to post it..) thanks!

The settings of extension pop-shell@system76.com had an error:

GLib.FileError: Falló al abrir el archivo «/usr/share/gnome-shell/extensions/pop-shell@system76.com/schemas/gschemas.compiled»: open() falló: No existe el fichero o el directorio

Stack trace:

getSettings@resource:///org/gnome/Shell/Extensions/js/misc/extensionUtils.js:200:31
log_level@/usr/share/gnome-shell/extensions/pop-shell@system76.com/log.js:11:35
logging_combo@/usr/share/gnome-shell/extensions/pop-shell@system76.com/prefs.js:132:33
settings_dialog_view@/usr/share/gnome-shell/extensions/pop-shell@system76.com/prefs.js:88:18
settings_dialog_new@/usr/share/gnome-shell/extensions/pop-shell@system76.com/prefs.js:9:23
buildPrefsWidget@/usr/share/gnome-shell/extensions/pop-shell@system76.com/prefs.js:142:18
_init@resource:///org/gnome/Shell/Extensions/js/extensionsService.js:219:40
OpenExtensionPrefsAsync/<@resource:///org/gnome/Shell/Extensions/js/extensionsService.js:128:33
asyncCallback@resource:///org/gnome/gjs/modules/core/overrides/Gio.js:115:22
run@resource:///org/gnome/Shell/Extensions/js/dbusService.js:177:20
main@resource:///org/gnome/Shell/Extensions/js/main.js:19:13
run@resource:///org/gnome/gjs/modules/script/package.js:206:19
start@resource:///org/gnome/gjs/modules/script/package.js:190:8
@/usr/share/gnome-shell/org.gnome.Shell.Extensions:1:17

MageJohn commented on 2021-10-20 12:43

Hey! This package currently fails to build due to a change in TypeScript 4.4. The fix has been merged upstream (https://github.com/pop-os/shell/pull/1157), but it's not in the latest release yet. Here's a patch for this package that works around the problem:

diff --git a/PKGBUILD b/PKGBUILD
index 18ebdb8..d9bed44 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -16,8 +16,13 @@ depends=("gnome-shell" "pop-shell-shortcuts-git")


 _dir="${_gitname}-${pkgver}"
-source=("${_dir}.tar.gz::https://github.com/${_gitorg}/${_gitname}/archive/${pkgver}.tar.gz")
-sha256sums=("SKIP")
+source=("${_dir}.tar.gz::https://github.com/${_gitorg}/${_gitname}/archive/${pkgver}.tar.gz" "tsconfig.patch")
+sha256sums=('c63c82387cdf1b038fac9cb2fafe6d85fac84ce12aab8b28ae2dc18dc667041c'
+            '8d13db1a84b595d682fd56e97a8e346afd2d0cb0e0a3e0717fcf749b871a9470')
+
+prepare() {
+    patch "${srcdir}/${_dir}/tsconfig.json" tsconfig.patch
+}


 build() {
diff --git a/tsconfig.patch b/tsconfig.patch
new file mode 100644
index 0000000..898e28a
--- /dev/null
+++ b/tsconfig.patch
@@ -0,0 +1,8 @@
+--- tsconfig.json
++++ tsconfig.json
+@@ -18,3 +18,4 @@
+         "noUnusedLocals": true,
+-        "noUnusedParameters": true
++        "noUnusedParameters": true,
++        "useUnknownInCatchVariables": false
+     },