diff options
author | Adrian Perez de Castro | 2018-11-14 10:18:31 +0100 |
---|---|---|
committer | Adrian Perez de Castro | 2018-11-14 10:18:31 +0100 |
commit | 19534d6ad6d96c0a2e84c09b1c9b0de2d8d88c0b (patch) | |
tree | 9360dc36bc37993bc5d049b73bb688829fdadda7 | |
download | aur-19534d6ad6d96c0a2e84c09b1c9b0de2d8d88c0b.tar.gz |
Initial import
-rw-r--r-- | .SRCINFO | 16 | ||||
-rw-r--r-- | .gitignore | 4 | ||||
-rw-r--r-- | PKGBUILD | 35 | ||||
-rw-r--r-- | es.install | 11 |
4 files changed, 66 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..8286ce0c0ce8 --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,16 @@ +pkgbase = es + pkgdesc = Extensible Shell derived from Plan9 rc + pkgver = 0.9.1 + pkgrel = 1 + url = http://wryun.github.io/es-shell/ + install = es.install + arch = x86_64 + license = custom:Public Domain + makedepends = bison + depends = readline + depends = termcap + source = https://github.com/wryun/es-shell/releases/download/v0.9.1/es-0.9.1.tar.gz + sha512sums = 4dfa2096e14977437e5dea3ac89e65dc08b5abbb0433af711a1759d5f719f82b24fdcc85ff764526aaae627998da4022504bb21fe96adeb3e434f29356f39593 + +pkgname = es + diff --git a/.gitignore b/.gitignore new file mode 100644 index 000000000000..45cccfdb444d --- /dev/null +++ b/.gitignore @@ -0,0 +1,4 @@ +/src/ +/pkg/ +/*.tar +/*.tar.* diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..b4380d255261 --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,35 @@ +# Maintainer: Adrián Pérez de Castro +pkgdesc='Extensible Shell derived from Plan9 rc' +pkgname=es +pkgver=0.9.1 +pkgrel=1 +arch=(x86_64) +url='http://wryun.github.io/es-shell/' +depends=(readline termcap) +makedepends=(bison) +license=('custom:Public Domain') +install=es.install +source=("https://github.com/wryun/es-shell/releases/download/v${pkgver}/${pkgname}-${pkgver}.tar.gz") +sha512sums=('4dfa2096e14977437e5dea3ac89e65dc08b5abbb0433af711a1759d5f719f82b24fdcc85ff764526aaae627998da4022504bb21fe96adeb3e434f29356f39593') + +build () { + ./configure --prefix=/usr --with-readline + make +} + +package () { + # The included Makefile does NOT honor DESTDIR (or anything like it) + install -D -m755 es "${pkgdir}/usr/bin/es" + install -D -m644 doc/es.1 "${pkgdir}/usr/share/man/man1/es.1" + + # Documentation and examples. + install -D -m644 README "${pkgdir}/usr/share/licenses/${pkgname}/README" + install -D -m644 -t "${pkgdir}/usr/share/doc/${pkgname}" \ + doc/ERRATA doc/usenix-w93.ps doc/es-list.gz + install -D -m644 -t "${pkgdir}/usr/share/doc/${pkgname}/examples" \ + examples/* +} + +check () { + make trip +} diff --git a/es.install b/es.install new file mode 100644 index 000000000000..960a553d9fe0 --- /dev/null +++ b/es.install @@ -0,0 +1,11 @@ +post_install() { + grep -qe '^/usr/bin/es$' etc/shells || echo '/usr/bin/es' >> etc/shells +} + +post_upgrade() { + post_install +} + +pre_remove() { + sed -ri '\|^/usr/bin/es$|d' etc/shells +} |