diff options
| -rw-r--r-- | devtools-git/PKGBUILD | 39 | ||||
| -rw-r--r-- | todotxt/PKGBUILD | 22 | ||||
| -rw-r--r-- | todotxt/todotxt.install | 17 | ||||
| -rw-r--r-- | w3watch-git/PKGBUILD | 33 |
4 files changed, 111 insertions, 0 deletions
diff --git a/devtools-git/PKGBUILD b/devtools-git/PKGBUILD new file mode 100644 index 0000000..4c4b9a1 --- /dev/null +++ b/devtools-git/PKGBUILD @@ -0,0 +1,39 @@ +# Contributor: Evangelos Foutras <foutrelis@gmail.com> + +pkgname=devtools-git +pkgver=20090826 +pkgrel=1 +pkgdesc="A few tools to help Arch Linux developers" +arch=(i686 x86_64) +url="http://projects.archlinux.org/?p=devtools.git" +license=('GPL') +depends=('namcap') +makedepends=('git') +provides=('devtools') +conflicts=('devtools') +source=() +md5sums=() + +_gitroot="git://projects.archlinux.org/devtools.git" +_gitname="devtools" + +build() { + cd "$srcdir" + msg "Connecting to GIT server...." + + if [ -d $_gitname ] ; then + cd $_gitname && git pull origin + msg "The local files are updated." + else + git clone $_gitroot + fi + + msg "GIT checkout done or server timeout" + msg "Starting make..." + + rm -rf "$srcdir/$_gitname-build" + git clone "$srcdir/$_gitname" "$srcdir/$_gitname-build" + cd "$srcdir/$_gitname-build" + + make DESTDIR="$pkgdir" install +} diff --git a/todotxt/PKGBUILD b/todotxt/PKGBUILD new file mode 100644 index 0000000..6ad0720 --- /dev/null +++ b/todotxt/PKGBUILD @@ -0,0 +1,22 @@ +# lifehacker.com's todo.sh script for maintaining a todo.txt file + +# Contributor: David Rosenstrauch <darose@darose.net> + +pkgname=todotxt +_pkgname=todo.txt_cli +pkgver=2.4 +pkgrel=1 +pkgdesc="lifehacker.com's todo.sh script for maintaining a todo.txt file" +url="http://ginatrapani.github.com/todo.txt-cli/" +depends=('bash') +install=$pkgname.install +source=(http://cloud.github.com/downloads/ginatrapani/todo.txt-cli/$_pkgname-$pkgver.tar.gz) +md5sums=('74a9fa7d9c4270b6d1439ff3eee59774') +arch=('i686' 'x86_64') +license="GPL" + +build() { + cd $startdir/src/$_pkgname-$pkgver + install -D -m644 todo.cfg $startdir/pkg/usr/share/$pkgname/todo.cfg + install -D -m755 todo.sh $startdir/pkg/usr/bin/todo.sh +} diff --git a/todotxt/todotxt.install b/todotxt/todotxt.install new file mode 100644 index 0000000..745117a --- /dev/null +++ b/todotxt/todotxt.install @@ -0,0 +1,17 @@ +# arg 1: the new package version +post_install() { + echo + echo "Please copy the file /usr/share/todotxt/todo.cfg to ~/.todo.cfg" + echo "and then edit the TODO_DIR path in that file to your desired todo data directory." + echo +} + +post_upgrade() { + echo + echo "Please note that the config file has changed from ~/.todo to ~/.todo.cfg," + echo "and the config file contents have changed slightly since the previous release." + echo + echo "Please copy the file /usr/share/todotxt/todo.cfg to ~/.todo.cfg" + echo "and then edit the TODO_DIR path in that file to your desired todo data directory." + echo +} diff --git a/w3watch-git/PKGBUILD b/w3watch-git/PKGBUILD new file mode 100644 index 0000000..6c376dc --- /dev/null +++ b/w3watch-git/PKGBUILD @@ -0,0 +1,33 @@ +# Maintainer: Pierre Schmitz <pierre@archlinux.de> + +pkgname=w3watch-git +pkgver=20090829 +pkgrel=1 +pkgdesc='Watch the web and get notified on updates' +arch=('any') +url='http://git.archlinux.de/w3watch/' +depends=('bash' 'lynx' 'awk' 'diffutils' 'coreutils' 'grep') +license=('GPL') + +_gitroot='http://git.archlinux.de/~pierre/w3watch.git' +_gitname='w3watch' + +build() { + cd ${srcdir} + msg 'Connecting to GIT server....' + + if [ -d $_gitname ] ; then + pushd $_gitname && git pull origin + msg 'The local files are updated.' + popd + else + git clone $_gitroot + fi + + msg 'GIT checkout done or server timeout' + msg 'Starting make...' + install -D -m755 "${_gitname}/w3watch" \ + "${pkgdir}/usr/bin/w3watch" + install -D -m644 "${_gitname}/config.sample" \ + "${pkgdir}/usr/share/doc/w3watch/config.sample" +} |