From: Victor Martinez <pitillo@ono.com>
Date: Fri, 16 Dec 2011 10:53:59 +0000 (+0100)
Subject: bash: removed overlay port.
X-Git-Url: http://gitweb/?a=commitdiff_plain;ds=sidebyside;h=8257fb6aaf08b276ae7f197f69126af89e8af421;p=ports%2Fcore-arm.git

bash: removed overlay port.
---

diff --git a/bash/.footprint b/bash/.footprint
deleted file mode 100644
index 98fcb55..0000000
--- a/bash/.footprint
+++ /dev/null
@@ -1,10 +0,0 @@
-drwxr-xr-x	root/root	bin/
--rwxr-xr-x	root/root	bin/bash
-lrwxrwxrwx	root/root	bin/sh -> bash
-drwxr-xr-x	root/root	etc/
--rw-r--r--	root/root	etc/profile
-drwxr-xr-x	root/root	usr/
-drwxr-xr-x	root/root	usr/man/
-drwxr-xr-x	root/root	usr/man/man1/
--rw-r--r--	root/root	usr/man/man1/bash.1.gz
-lrwxrwxrwx	root/root	usr/man/man1/sh.1.gz -> bash.1.gz
diff --git a/bash/.md5sum b/bash/.md5sum
deleted file mode 100644
index 33d1711..0000000
--- a/bash/.md5sum
+++ /dev/null
@@ -1,3 +0,0 @@
-0ce98aaef0d1e4b930ddd9443d99883f  bash-4.2.20.patch.gz
-3fb927c7c33022f1c327f14a81c0d4b0  bash-4.2.tar.gz
-3fee206195d50dbd8a3560a8a77f341b  profile
diff --git a/bash/Pkgfile b/bash/Pkgfile
deleted file mode 100644
index eda5777..0000000
--- a/bash/Pkgfile
+++ /dev/null
@@ -1,33 +0,0 @@
-# Description: An sh-compatible command language interpreter
-# URL: http://cnswww.cns.cwru.edu/~chet/bash/bashtop.html
-# Maintainer: CRUX System Team, core-ports at crux dot nu
-# Arch Maintainer: CRUX-ARM System Team, devel at crux-arm dot nu
-# Depends on: ncurses readline
-
-name=bash
-version=4.2.20
-release=1
-source=(http://ftp.gnu.org/gnu/$name/$name-${version::3}.tar.gz \
-        $name-$version.patch.gz profile)
-
-build() {
-  cd $name-${version::3}
-
-  gunzip -c $SRC/$name-$version.patch.gz | patch -p0
-
-  ./configure --build=arm-crux-linux-gnueabihf \
-              --prefix=/usr \
-              --exec-prefix= \
-              --mandir=/usr/man \
-              --disable-nls \
-              --with-curses \
-              --with-installed-readline
-  make -j1
-
-  install -D -m 755 bash $PKG/bin/bash
-  install -D -m 644 doc/bash.1 $PKG/usr/man/man1/bash.1
-  install -D -m 644 $SRC/profile $PKG/etc/profile
-
-  ln -s bash $PKG/bin/sh
-  ln -s bash.1 $PKG/usr/man/man1/sh.1
-}
diff --git a/bash/bash-4.2.20.patch.gz b/bash/bash-4.2.20.patch.gz
deleted file mode 100644
index fca1d1c..0000000
Binary files a/bash/bash-4.2.20.patch.gz and /dev/null differ
diff --git a/bash/profile b/bash/profile
deleted file mode 100644
index 8e3b9fe..0000000
--- a/bash/profile
+++ /dev/null
@@ -1,23 +0,0 @@
-#
-# /etc/profile: system-wide defaults for bash(1) login shells
-#
-
-if [ "$UID" = "0" ]; then
-	export PATH="/sbin:/usr/sbin:/opt/sbin:/bin:/usr/bin:/opt/bin"
-else
-	export PATH="/bin:/usr/bin:/opt/bin"
-fi
-
-if [ ! -f ~/.inputrc ]; then
-	export INPUTRC="/etc/inputrc"
-fi
-
-export LESSCHARSET="latin1"
-export LESS="-R"
-export CHARSET="ISO-8859-1"
-export PS1="\[\033[1m\]\\$ \[\033[0m\]"
-export PS2="\[\033[1m\]> \[\033[0m\]"
-
-umask 022
-
-# End of file