[jed-users] Re: jed.tex?

[Ulli Horlacher <framstag@xxxxxxxxxxxxxxxxxxxx>]

On Sun 2023-08-20 (05:25), John E. Davis wrote:
> I used pdflatex to convert it to PDF.  See
> 
>   <https://www.jedsoft.org/jed/jed.pdf>

Thanks. 


> There is essentially nothing in that document about signals.

"essentially nothing" - you are right, There is only:

On UNIX systems, \jed{} catches most signals and tries to auto-save


> What information about signals are you seeking?

At work I edited a file and forgot to save it.
Later at home, I wanted to continue editing and tried to force jed to save
it remotly. I was looking which signal I should send to the jed process.


-- 
Ullrich Horlacher              Server und Virtualisierung
Rechenzentrum TIK
Universitaet Stuttgart         E-Mail: horlacher@xxxxxxxxxxxxxxxxxxxx
Allmandring 30a                Tel:    ++49-711-68565868
70569 Stuttgart (Germany)      WWW:    https://www.tik.uni-stuttgart.de/
REF:<20230820092554.627DF51061@xxxxxxxxxxx>
_______________________________________________
For list information, visit <http://jedsoft.org/jed/mailinglists.html>.