Hi! I guess, if tip(1) has been removed, this is correct:
--- upgrade58.html.orig 2015-10-29 16:56:17.577783347 +0100 +++ upgrade58.html 2015-10-29 16:56:40.686678568 +0100 @@ -436,6 +436,7 @@ rm -f /usr/bin/sudo /usr/bin/sudoedit /u rm -f /usr/share/man/man8/sudo.8 /usr/share/man/man8/sudoedit.8 rm -f /usr/share/man/man8/visudo.8 /usr/share/man/man5/sudoers.5 rm -f /usr/libexec/sudo_noexec.so +rm -f /usr/bin/tip /usr/share/man/man1/tip.1 </b></pre></blockquote> Daniel -- LÉVAI Dániel PGP key ID = 0x83B63A8F Key fingerprint = DBEC C66B A47A DFA2 792D 650C C69B BE4C 83B6 3A8F