CRUX-ARM : Home

Home :: Documentation :: Download :: Development :: Community :: Ports :: Packages :: Bugs :: Links :: About :: Donors
bash: removed overlay port.
authorVictor Martinez <pitillo@ono.com>
Fri, 16 Dec 2011 10:53:59 +0000 (11:53 +0100)
committerVictor Martinez <pitillo@ono.com>
Fri, 16 Dec 2011 10:53:59 +0000 (11:53 +0100)
bash/.footprint [deleted file]
bash/.md5sum [deleted file]
bash/Pkgfile [deleted file]
bash/bash-4.2.20.patch.gz [deleted file]
bash/profile [deleted file]

diff --git a/bash/.footprint b/bash/.footprint
deleted file mode 100644 (file)
index 98fcb55..0000000
+++ /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 (file)
index 33d1711..0000000
+++ /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 (file)
index eda5777..0000000
+++ /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 (file)
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 (file)
index 8e3b9fe..0000000
+++ /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