Cannot save css file


Dear Community,
the file says that it was saved using ctrl+s but when i push the run button, it tells me:

"bash: line 1: Anil/OpenMath/members.css: No such file or directory

Process exited with code: 127"

the only way to save changes, is to rename the file and change the links in my html, which takes way to much time and really annoys me

has anybody had the same problem or can tell me what to do?


Hi, what are you trying to do by pushing run button? There is no way run css file, so the button tries to run it as bash script, and prints that line since the file is not executable.

Reloading html should update the css without changing the file name.
Maybe you are getting cached version, try opening devtools to disable cache.