From b6e9a80709e5c9e4074719f7b67edbcdb6e01ae8 Mon Sep 17 00:00:00 2001 From: vincent Date: Tue, 6 Oct 2020 19:19:31 +0200 Subject: [PATCH] remove toto --- .SRCINFO | 6 ++++-- .gitignore | 2 +- pop-shell.install | 4 +--- 3 files changed, 6 insertions(+), 6 deletions(-) mode change 100644 => 100755 pop-shell.install diff --git a/.SRCINFO b/.SRCINFO index a54e75c..f982001 100644 --- a/.SRCINFO +++ b/.SRCINFO @@ -1,11 +1,13 @@ pkgbase = gnome-shell-extension-pop-shell-git pkgdesc = Pop Shell - Tiling window management in Gnome (WIP) - pkgver = r540.9286532 - pkgrel = 2 + pkgver = r552.0fce7eb + pkgrel = 3 url = https://github.com/pop-os/shell + install = pop-shell.install arch = any license = GPLv3 makedepends = typescript + makedepends = git depends = gnome-shell depends = pop-shell-shortcuts-git conflicts = gnome-shell-extension-pop-shell diff --git a/.gitignore b/.gitignore index 100f043..b246d59 100644 --- a/.gitignore +++ b/.gitignore @@ -1,5 +1,5 @@ *.tar.gz -*.pkg.tar.xz +*.pkg.tar.zst pkg/ src/ shell/ diff --git a/pop-shell.install b/pop-shell.install old mode 100644 new mode 100755 index b41c099..28fc0eb --- a/pop-shell.install +++ b/pop-shell.install @@ -1,9 +1,7 @@ - post_install() { echo "POP-shell configuration" cd /usr/share/gnome-shell/extensions/pop-shell@system76.com/scripts ./configure.sh - touch toto } post_upgrade() { @@ -29,4 +27,4 @@ post_remove() { dconf reset ${KEYS_GNOME_WM}/toggle-maximized dconf reset ${KEYS_MEDIA}/{screensaver,home,email,www,rotate-video-lock-static} dconf reset ${KEYS_GNOME_WM}/close -} +} \ No newline at end of file