Johannes Altmanninger 7c2dd694e0 Provide functions to toggle commandline prefix/suffix ...

This introduces two functions to
- toggle a process prefix, used for adding "sudo"
- add a job suffix, used for adding "&| less"

Not sure if they are very useful; we'll see.

Closes #7905

2021-06-23 20:51:20 +02:00

..

cmds

Provide functions to toggle commandline prefix/suffix

2021-06-23 20:51:20 +02:00

python_docs_theme

docs: Undo sphinx awkwardness with code blocks

2021-06-23 17:33:40 +02:00

commands.rst

We no longer have two doc systems, move sphinx_doc_src back to doc_src

2020-02-19 17:00:35 -08:00

completions.rst

docs: Replace all internal links with :ref:s

2021-03-26 19:32:14 +01:00

conf.py

docs: Unbreak sphinx' man directories

2021-05-13 18:20:47 +02:00

design.rst

Make rationale spacing consistent

2020-10-12 20:25:35 +02:00

faq.rst

docs: Don't speak of "initialization files"

2021-05-28 20:49:57 +02:00

fish_for_bash_users.rst

docs: Add a section on subshells to fish-for-bash-users

2021-05-22 17:30:45 +02:00

fish_indent_lexer.py

Highlight keywords differently

2021-02-07 21:18:51 +01:00

index.rst

docs: Don't speak of "initialization files"

2021-05-28 20:49:57 +02:00

interactive.rst

docs: Document fallback colors

2021-06-20 22:13:50 +02:00

language.rst

docs: Some tweaks to "Syntax overview"

2021-06-06 21:36:04 +02:00

license.rst

Update copyright years

2021-05-03 13:12:11 +02:00

relnotes.rst

docs: call the CHANGELOG "release notes"

2021-02-25 22:46:24 +08:00

tutorial.rst

docs: Some rewording to the tutorial

2021-05-28 20:49:57 +02:00