diff options
author | Thenujan | 2022-04-14 17:22:51 +0530 |
---|---|---|
committer | Thenujan | 2022-04-14 17:22:51 +0530 |
commit | 9c2013a12f58164d45bfb41db8ebb4e1a815eaea (patch) | |
tree | ce46cad21f7ad0cdf54e3f5b2e15645c2ff47b23 | |
download | aur-9c2013a12f58164d45bfb41db8ebb4e1a815eaea.tar.gz |
initial
-rw-r--r-- | .SRCINFO | 13 | ||||
-rw-r--r-- | PKGBUILD | 32 |
2 files changed, 45 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..3f16a9b4a7de --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,13 @@ +pkgbase = grub-editor + pkgdesc = GUI to edit grub configurations + pkgver = 0.95 + pkgrel = 1 + url = https://github.com/Thenujan-0/grub-editor + arch = any + license = GPL3 + makedepends = make + depends = python>=3.8 + source = https://github.com/Thenujan-0/grub-editor/archive/refs/tags/v0.95.tar.gz + md5sums = SKIP + +pkgname = grub-editor diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..f6b86506f920 --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,32 @@ +# Maintainer: Thenujan Sandramohan <sthenujan2002@gmail.com> +pkgname=grub-editor +pkgver=0.95 +pkgrel=1 +epoch= +pkgdesc="GUI to edit grub configurations" +arch=('any') +url="https://github.com/Thenujan-0/grub-editor" +license=('GPL3') +groups=() +depends=('python>=3.8') +makedepends=('make') +checkdepends=() +optdepends=() +provides=() +conflicts=() +replaces=() +backup=() +options=() +install= +changelog= +source=("https://github.com/Thenujan-0/grub-editor/archive/refs/tags/v$pkgver.tar.gz") +noextract=() +md5sums=('SKIP') +validpgpkeys=() + +package() { + echo $pwd + cd "$pkgname-$pkgver" + echo "$pkgdir" + make PKG_DIR="$pkgdir" install +} |