This executable is “Linux executable”, that is, executable on any of the latest Linux systems. You can rename the file as you wish with
rename a.out your-executable-name
or better yet, tell GCC where to put your output file using
gcc -o your-executable-name your-source-file.c
Keep in mind that before Linux systems allow you to run the file, you may need to set its “executable bit”:
chmod +x your-executable-name
Also remember that on Linux the file extension has very little to do with what it really is - your executable file can be called something , something.out or even something.exe , and as long as it is created by GCC, and you do chmod +x in the file, you can run it as a Linux executable.
Tim
source share