elementary / elementary/code

Compiling in a terminal causes "modified by external application"

Aperta
#816 3 commenti 0 reazioni 0 assegnatari Vedi su GitHub
Needs (re)confirming Priority: Medium
Lingua principale
Vala
Stelle
521
Fork
118
Merge medio
1g 8h
PR unite (30g)
14

Descrizione

When the option 'Preferences' -> 'Behavior' -> 'Save files when changed' is *not* selected, compiling an opened *c* source file in a terminal causes a notification `" was modified in an external application. Do you want to load it again or continue your editing?"` to be shown. Selecting `Continue` will cause the notification to be shown again until `Load` is chosen.

If the option 'Preferences' -> 'Behavior' -> 'Save files when changed' *is* selected, the editor jumps to the top of the file.

The compilation command is:
`../opt/mingw32ce/bin/arm-mingw32ce-gcc -x c -L -l -mno-thumb-interwork -o `
which shouldn't modify the source file (and doesn't according to the output from `ls -lortha`).

Screenshot:

![Screenshot from 2020-05-16 13-58-15](https://user-images.githubusercontent.com/65448702/82118831-612b6d00-9782-11ea-99d4-c1647a5d213d.png)

Guida per i contributori

Apri la guida per i contributori

Valutazione

Questa issue non è ancora stata valutata.

Ricevi le nuove issue nella tua casella

Un breve riepilogo di issue GitHub adatte ai principianti.