diff options
| -rw-r--r-- | core/filesystem/PKGBUILD | 7 | ||||
| -rw-r--r-- | core/filesystem/os-release | 8 | ||||
| -rw-r--r-- | core/filesystem/os-release.patch | 18 |
3 files changed, 9 insertions, 24 deletions
diff --git a/core/filesystem/PKGBUILD b/core/filesystem/PKGBUILD index 0cf13c7c..aeb5295f 100644 --- a/core/filesystem/PKGBUILD +++ b/core/filesystem/PKGBUILD @@ -1,6 +1 @@ -source+=('os-release.patch') -md5sums+=('6ec952a2bbb95ea3d73e0afcf5703c49') - -prepare() { - patch -p1 -i "$srcdir/os-release.patch" -} +md5sums=("${md5sums[@]/0a0fbb8e64faabb40023bd180d7190a1/94b7155a48aa0fab98578710755c71c4}") diff --git a/core/filesystem/os-release b/core/filesystem/os-release new file mode 100644 index 00000000..89854294 --- /dev/null +++ b/core/filesystem/os-release @@ -0,0 +1,8 @@ +NAME="Arch Linux 32" +PRETTY_NAME="Arch Linux 32" +ID=arch32 +ID_LIKE="arch archlinux" +ANSI_COLOR="0;36" +HOME_URL="https://www.archlinux32.org/" +SUPPORT_URL="https://bbs.archlinux32.org/" +BUG_REPORT_URL="https://bugs.archlinux32.org/" diff --git a/core/filesystem/os-release.patch b/core/filesystem/os-release.patch deleted file mode 100644 index e7372c98..00000000 --- a/core/filesystem/os-release.patch +++ /dev/null @@ -1,18 +0,0 @@ ---- a/os-release 2018-01-05 20:17:15.000000000 +0100 -+++ b/os-release 2018-05-08 13:53:44.625827911 +0200 -@@ -1,8 +1,8 @@ --NAME="Arch Linux" --PRETTY_NAME="Arch Linux" --ID=arch --ID_LIKE=archlinux -+NAME="Arch Linux 32" -+PRETTY_NAME="Arch Linux 32" -+ID=arch32 -+ID_LIKE="arch archlinux" - ANSI_COLOR="0;36" --HOME_URL="https://www.archlinux.org/" --SUPPORT_URL="https://bbs.archlinux.org/" --BUG_REPORT_URL="https://bugs.archlinux.org/" -+HOME_URL="https://www.archlinux32.org/" -+SUPPORT_URL="https://bbs.archlinux32.org/" -+BUG_REPORT_URL="https://bugs.archlinux32.org/" |