Instructions for Mac & Linux install - possible redundancy

[bgyori]

For the Mac & Linux installation instructions, currently the website says https://github.com/ontodev/robot/blob/d8bd92feac54a66839ec1556f21b63ff6b37e245/docs/index.md?plain=1#L26-L32

Here there are two seemingly redundant points about making robot exactuable:

Then, make sure the script is executable: sudo chmod u+x [path-to-robot-script] 
(replace [path-to-robot-script] with your location)

and then later

Make sure robot is executable by running sudo chmod +x robot from the 
terminal in the same directory. This will require you to enter you password.

The two are also subtly different, one recommending +x and the other u+x.

[beckyjackson]

I had some users during ICBO with issues running the script because they didn't chmod it, so I thought adding it up there would help clear it up, but now I see that just looks odd.

As a user installing ROBOT, which one is more useful? Directly after the download in step 2, as separate step 4?

[bgyori]

Thanks! I think keeping number 4. and removing the second bullet point under 2. would be best. This way, the chmod instructions apply to both the manual download and the curl-based download case.