mirror of
https://git.FreeBSD.org/ports.git
synced 2024-12-12 03:00:28 +00:00
5294c83b62
- Make portlint(1) happy [2] PR: ports/92754 [1] Submitted by: maintainer [1] Reported by: kris [1] Approved by: maintainer [2]
9 lines
400 B
Plaintext
9 lines
400 B
Plaintext
@comment $FreeBSD$
|
|
bin/ksh93
|
|
@exec echo "updating /etc/shells"; cp /etc/shells /etc/shells.bak; (grep -v %D/%F /etc/shells.bak; echo %D/%F) >/etc/shells; rm -f /etc/shells.bak
|
|
@unexec echo "updating /etc/shells"; cp /etc/shells /etc/shells.bak; (grep -v %D/%F /etc/shells.bak) >/etc/shells; rm -f /etc/shells.bak
|
|
%%EXAMPLESDIR%%/dirs
|
|
%%EXAMPLESDIR%%/popd
|
|
%%EXAMPLESDIR%%/pushd
|
|
@dirrm %%EXAMPLESDIR%%
|