debian/docs changes

parent 8330c7d9
#!/bin/sh
set -e
if [ ! $(grep "bashstyle.sh" /etc/bash.bashrc) >/dev/null 2>&1 ]; then
echo "source /etc/bashstyle.sh" >> /etc/bash.bashrc
fi
exit 0
#!/bin/sh
set -e
if [ $(grep "bashstyle.sh" /etc/bash.bashrc) >/dev/null 2>&1 ]; then
sed -e '/bashstyle.sh/d' -i /etc/bash.bashrc
fi
exit 0
AUTHORS
ChangeLog
CREDITS
COPYING.CODE
COPYING
COPYING.ICONS
INSTALL
TODO
README
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment