vincent/gnome-shell-extension-pop-shell-git
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

remove toto

Browse Source
This commit is contained in:
vincent 2020-10-06 19:19:31 +02:00
parent c87c8f46b5
commit b6e9a80709
3 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
.SRCINFO
View File

@ -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

2
.gitignore vendored
View File

@ -1,5 +1,5 @@
*.tar.gz
*.pkg.tar.xz
*.pkg.tar.zst
pkg/
src/
shell/

4
pop-shell.install Normal file → Executable file
View File

@ -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
}
}