fix pkg name
This commit is contained in:
parent
81cc478af5
commit
68d6fe4818
@ -1,14 +1,14 @@
|
||||
# Sign the packages
|
||||
dpkg-sig --sign builder ./output/pika-desktop*.deb
|
||||
dpkg-sig --sign builder ./output/pika-gnome-desktop*.deb
|
||||
|
||||
# Pull down existing ppa repo db files etc
|
||||
rsync -azP --exclude '*.deb' ferreo@direct.pika-os.com:/srv/www/pikappa/ ./output/repo
|
||||
|
||||
# Remove our existing package from the repo
|
||||
reprepro -V --basedir ./output/repo/ removefilter kinetic 'Package (% pika-desktop*)'
|
||||
reprepro -V --basedir ./output/repo/ removefilter kinetic 'Package (% pika-gnome-desktop*)'
|
||||
|
||||
# Add the new package to the repo
|
||||
reprepro -V --basedir ./output/repo/ includedeb kinetic ./output/pika-desktop*.deb
|
||||
reprepro -V --basedir ./output/repo/ includedeb kinetic ./output/pika-gnome-desktop*.deb
|
||||
|
||||
# Push the updated ppa repo to the server
|
||||
rsync -azP ./output/repo/ ferreo@direct.pika-os.com:/srv/www/pikappa/
|
||||
|
Loading…
Reference in New Issue
Block a user