blob: 0806186309a2abc52846ff3f7415e3eeb032326c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
#! /bin/sh -e
install_from_default() {
if [ ! -f $2 ]; then
cp -p $1 $2
fi
}
if [ "$1" = "configure" ] && [ "$2" = "" ]; then
install_from_default /usr/share/readline/inputrc /etc/inputrc
fi
if [ "$(md5sum /etc/inputrc | cut -d' ' -f1)" = "e7d81f20943fc812b66b3ee56f5f68ce" ]; then
rm -f /etc/inputrc
cp /usr/share/readline/inputrc /etc/inputrc
fi
#DEBHELPER#
|