For record keeping purposes. I’m sick of having to Google this every single time.
——————-
Some installers don’t come in the usual .deb package, or even .sh. Double clicking them doesn’t work either, although the makers said it’s an installation package.
Steps:
open a Terminal window
navigate to where the .bin file is
issue a chmod a+x filename_of_that_file.bin command
issue a sudo [...]

