1 Sep
2007
1 Sep
'07
12:09 a.m.
correct. as the debian tradition (or policy?) for versioned binaries seems to be to have the versioned name as the main one and a symlink to that, the main pike binary gets installed as: /usr/bin/pike7.6 and the symlink pike -> pike7.6
pike tradition is to make a link: pike76 -> pike since in debian pike becomes pike7.6 that link then becomes pike7.676
greetings, martin.