You need to copy/paste it in a file (using a text editor such as GEdit) and make this file executable. This latter part can be done via the file browser ("accessing" the permissions through the "properties" of the file) but that is easier to explain it with a command line:
$ chmod +x PATH_TO_FILE
You obviously need to replace PATH_TO_FILE by the path to the file. For instance, if the code was copied into a file is named "bat.sh" that is in a "bin" directory of your home folder; then PATH_TO_FILE is ~/bin/bat.sh (although you can simply use the so-called "relative path" bin/bat.sh since you are in ~ when the terminal has just been opened). Then, executing the file is simply writing its path.

Reply via email to