bash: register 'sh' alternatives group.
This commit is contained in:
parent
ff114bbd0d
commit
0372f96243
1 changed files with 5 additions and 1 deletions
|
@ -3,7 +3,7 @@ pkgname=bash
|
||||||
_bash_distver=4.3
|
_bash_distver=4.3
|
||||||
_bash_patchlevel=042
|
_bash_patchlevel=042
|
||||||
version=${_bash_distver}.${_bash_patchlevel}
|
version=${_bash_distver}.${_bash_patchlevel}
|
||||||
revision=1
|
revision=2
|
||||||
wrksrc=${pkgname}-${_bash_distver}
|
wrksrc=${pkgname}-${_bash_distver}
|
||||||
build_pie=yes
|
build_pie=yes
|
||||||
build_style=gnu-configure
|
build_style=gnu-configure
|
||||||
|
@ -21,6 +21,10 @@ CFLAGS="-DSYS_BASHRC='\"/etc/bash/bashrc\"'"
|
||||||
make_dirs="/etc/bash/bashrc.d 755 root root"
|
make_dirs="/etc/bash/bashrc.d 755 root root"
|
||||||
checksum=afc687a28e0e24dc21b988fa159ff9dbcf6b7caa92ade8645cc6d5605cd024d4
|
checksum=afc687a28e0e24dc21b988fa159ff9dbcf6b7caa92ade8645cc6d5605cd024d4
|
||||||
|
|
||||||
|
alternatives="
|
||||||
|
sh:/usr/bin/sh:/usr/bin/bash
|
||||||
|
sh:/usr/share/man/man1/sh.1:/usr/share/man/man1/bash.1"
|
||||||
|
|
||||||
pre_configure() {
|
pre_configure() {
|
||||||
local url="${GNU_SITE}/$pkgname/$pkgname-${_bash_distver}-patches"
|
local url="${GNU_SITE}/$pkgname/$pkgname-${_bash_distver}-patches"
|
||||||
local ver=$(echo ${_bash_distver}|sed "s|\.||g")
|
local ver=$(echo ${_bash_distver}|sed "s|\.||g")
|
||||||
|
|
Loading…
Reference in a new issue