I have most of my disk space in an ext4 partition which I automountt on startup through fstab. The corresponding line in fstabis this one:

/dev/sda9 /media/rest    ext4  users,user    0  0

Now I'm trying to install a game through Steam and I want the data folder to be stored in said partition, but when I try to select a folder in it I get the error:

New Steam library folder must be on a filesystem mounted with execute permissions

So I need that partition to have execute permissions. I'm guessing modifying the line in fstab to this might do the trick:

/dev/sda9 /media/rest    ext4  users,user,exec    0  0

but I'm not really sure and I don't want to mess up my system. Is this the correct solution for the mentioned issue?