diff options
| author | nick black | 2019-04-17 02:13:43 -0400 |
|---|---|---|
| committer | nick black | 2019-04-17 02:13:43 -0400 |
| commit | 30fa920359a1b23746a4e54eba3efbae3d08ace4 (patch) | |
| tree | 03130471a425dd4be222cde20492f88e8185eb9d | |
| download | aur-30fa920359a1b23746a4e54eba3efbae3d08ace4.tar.gz | |
pagemon: interactive page cache analysis tool
| -rw-r--r-- | .SRCINFO | 12 | ||||
| -rw-r--r-- | .gitignore | 5 | ||||
| -rw-r--r-- | PKGBUILD | 22 |
3 files changed, 39 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..ea592eb43557 --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,12 @@ +pkgbase = pagemon + pkgdesc = Interactive memory/page monitoring tool + pkgver = 0.01.14 + pkgrel = 1 + url = https://kernel.ubuntu.com/~cking/pagemon/ + arch = x86_64 + license = GPL2 + source = https://github.com/ColinIanKing/pagemon/archive/V0.01.14.tar.gz + sha256sums = 45214c845c49454465fc39fce60277602b95a474d572d9311224e56b709f029c + +pkgname = pagemon + diff --git a/.gitignore b/.gitignore new file mode 100644 index 000000000000..a33892866626 --- /dev/null +++ b/.gitignore @@ -0,0 +1,5 @@ +V*gz +pagemon*gz +pagemon*xz +pkg +src diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..01a2762aa925 --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,22 @@ +# Maintainer: Nick Black <dankamongmen@gmail.com> + +pkgname="pagemon" +pkgver="0.01.14" +pkgrel=1 +pkgdesc="Interactive memory/page monitoring tool" +url="https://kernel.ubuntu.com/~cking/pagemon/" +license=('GPL2') +arch=('x86_64') +source=("https://github.com/ColinIanKing/pagemon/archive/V${pkgver}.tar.gz") + +build() { + cd "$pkgname-$pkgver" + make BINDIR=/usr/bin +} + +package() { + cd "$pkgname-$pkgver" + make DESTDIR="$pkgdir" BINDIR=/usr/bin install +} + +sha256sums=('45214c845c49454465fc39fce60277602b95a474d572d9311224e56b709f029c') |