dashboard/build.sh
author Dave Raggett <dsr@w3.org>
Thu, 28 Apr 2011 17:55:08 +0100
changeset 0 8ed5ca0acbac
child 20 af4d2c9c7b43
permissions -rw-r--r--
Initial commit
0
8ed5ca0acbac Initial commit
Dave Raggett <dsr@w3.org>
parents:
diff changeset
     1
#!/bin/bash
8ed5ca0acbac Initial commit
Dave Raggett <dsr@w3.org>
parents:
diff changeset
     2
# build.sh -- XPI files for mozilla extensions
8ed5ca0acbac Initial commit
Dave Raggett <dsr@w3.org>
parents:
diff changeset
     3
# by Dave Raggett <dsr@w3.org>
8ed5ca0acbac Initial commit
Dave Raggett <dsr@w3.org>
parents:
diff changeset
     4
8ed5ca0acbac Initial commit
Dave Raggett <dsr@w3.org>
parents:
diff changeset
     5
TARGET=dashboard
8ed5ca0acbac Initial commit
Dave Raggett <dsr@w3.org>
parents:
diff changeset
     6
8ed5ca0acbac Initial commit
Dave Raggett <dsr@w3.org>
parents:
diff changeset
     7
# for minimal xpi file
8ed5ca0acbac Initial commit
Dave Raggett <dsr@w3.org>
parents:
diff changeset
     8
# zip -r ../$TARGET.xpi chrome install.rdf chrome.manifest
8ed5ca0acbac Initial commit
Dave Raggett <dsr@w3.org>
parents:
diff changeset
     9
8ed5ca0acbac Initial commit
Dave Raggett <dsr@w3.org>
parents:
diff changeset
    10
# to include the readme and build script etc.
8ed5ca0acbac Initial commit
Dave Raggett <dsr@w3.org>
parents:
diff changeset
    11
touch $TARGET.xpi
8ed5ca0acbac Initial commit
Dave Raggett <dsr@w3.org>
parents:
diff changeset
    12
rm $TARGET.xpi
8ed5ca0acbac Initial commit
Dave Raggett <dsr@w3.org>
parents:
diff changeset
    13
zip -r ../$TARGET.xpi *
8ed5ca0acbac Initial commit
Dave Raggett <dsr@w3.org>
parents:
diff changeset
    14
mv ../$TARGET.xpi .