blob: ab42f74f419d6805362ed7bd97a8684763ae7b69 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
# If no dir file exists, we'll assume it's a fresh installation and create one
# Otherwise, we'll throw out the new copy to preserve what's already installed
if [ -e usr/info/dir ]; then
# If there is no topmost node, this dir file is broken, so replace it:
if ! grep -q "Node: Top" usr/info/dir ; then
mv usr/info/dir.new usr/info/dir
fi
else
mv usr/info/dir.new usr/info/dir
fi
|
