Этот исполняемый файл является «исполняемым файлом Linux», то есть исполняемым в любой недавней системе Linux. Вы можете переименовать файл в то, что вы хотите, используя
rename a.out your-executable-name
или еще лучше, скажите GCC, куда поместить выходной файл, используя
gcc -o your-executable-name your-source-file.c
Имейте в виду, что прежде чем системы Linux позволят вам запустить файл, вам может потребоваться установить его "исполняемый бит":
chmod +x your-executable-name
Также помните, что в Linux расширение файла имеет очень мало общего с тем, чем оно является на самом деле - ваш исполняемый файл может называться something
, something.out
или даже something.exe
, и до тех пор, пока он создается GCC и вы делаете chmod +x
для файла, вы можете запустить его как исполняемый файл Linux.