endowing file with right to execute

chmod +x the_file_name

Revision #1
Created 17 July 2022 20:51:43 by Laura Wagner
Updated 12 April 2023 13:00:54 by Laura Wagner