- make-shell-filename COMMANDprocedure
Returns the platform specific form of a shell command filename.
On Windows the "bat" extension is added unless an extension is already present. Otherwise conditionally adds the "sh" extension.
Returns the platform specific form of a shell command filename.
On Windows the "bat" extension is added unless an extension is already present. Otherwise conditionally adds the "sh" extension.