Bug Description

1) Linux Mint 17.1 'Rebecca', Cinnamon 64-bit.

2) Problem is always there.

3) I found distro files in '/usr/local'.

4) I expected '/usr/local' to be the exclusive domain of the system administrator.

5) Problem is always there.

After updating from Cinnamon 17 to 17.1, I have noticed that the new version includes several files in '/usr/local/bin'. If I am not mistaken '/usr/local' should be reserved for the sole use of the system administrator. Here is an extract from Red Hat's 'Overview of File System Hierarchy Standard':

'The /usr/local hierarchy is for use by the system administrator when installing software locally. It needs to be safe from being overwritten when the system software is updated.'

I have files of my own in '/usr/local' (it is a link to a directory in the '/home' partition in my system) which could be overwritten by the distro. I also control file execution precedence (by setting $PATH value) and my plans could be thwarted if there are files in '/usr/local' I am not aware of.

Distro files detected in '/usr/local':

/usr/local/bin/yelp

/usr/local/ bin/gnome- help

/usr/local/ bin/search

/usr/local/ bin/pastebin

/usr/local/ bin/mint- md5sum

/usr/local/ bin/highlight

/usr/local/bin/apt