4 commits

Author	SHA1	Message	Date
Johannes Altmanninger	a9b60d2493	Call fish_prompt after background job finishes ... We don't need to call it if a job was stopped, because in that case read_i() will fire fish_prompt already, because the newly stopped job was probably a foreground job. Fixes #1018	2020-05-22 21:24:59 +02:00
Johannes Altmanninger	6746060c14	Run fish_indent on all fish files in share/	2020-05-19 21:15:39 +02:00
Soumya	518170b299	Also call fish_job_summary for foreground sigint ... The default implementation will not print any output in that case, but this provides users with additional flexibility when it comes to customising the shell's behaviour.	2020-05-19 20:39:10 +02:00
Soumya	324fa64114	Add fish_job_summary, called whenever a job ends, stops, or is signalled ... This allows users to customise the behaviour of the shell by redefining the function. This is similar to how fish_title or fish_greeting behave, where the default implementation can be easily overridden. The function receives as arguments the job id, command line, signal name and signal description.	2020-05-19 20:39:10 +02:00