Change file extension in terminal July 8, 2019 16 32 64 128 Change file extension mac terminal Change file extension linux terminal How to change exe file
