Set Linux execute permission for file in Web-IDE

Everyone can contribute. Help move this issue forward while earning points, leveling up and collecting rewards.

Proposal

Please provide some means in the Web-IDE to set the execute flag for files.

This is needed for the following examples:

  1. In juergen.kosel.jk/gcc-coverage-example!5 (diffs) the script hello_world.sh has been added by the Web-IDE. But the pipeline fails because this script has no execute flag.
  2. Some of my colleges work on Windows. So they have no means to set the Linux file permissions.

The current workaround for this would be, to clone the repository to some Linux PC and then run:

chmod +x hello_world.sh
git add hello_world.sh
git commit -m"Set exec permission"
Edited by 🤖 GitLab Bot 🤖