diff options
author | 2013-11-09 11:29:10 +0530 | |
---|---|---|
committer | 2013-11-12 22:14:14 +0530 | |
commit | 0f02997bcc4e29dbba0a1397af57ba2f302d03e2 (patch) | |
tree | 1ed804a46697a489922ac769607ce5989f60e48e /share/functions/__fish_config_interactive.fish | |
parent | 63d93a2f9a6cd57d8be4854b0505885093e5bdba (diff) |
Autogenerate manpage completions in background if they do not exist
Diffstat (limited to 'share/functions/__fish_config_interactive.fish')
-rw-r--r-- | share/functions/__fish_config_interactive.fish | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/share/functions/__fish_config_interactive.fish b/share/functions/__fish_config_interactive.fish index d9ee0700..2c9c9c23 100644 --- a/share/functions/__fish_config_interactive.fish +++ b/share/functions/__fish_config_interactive.fish @@ -137,6 +137,12 @@ function __fish_config_interactive -d "Initializations that should be performed end + if not test -d $configdir/fish/generated_completions + echo "Man page completions not found on your system. Running 'fish_update_completions' in background. You can continue to use fish while the process is being done." + #fish_update_completions is a function, so it can not be directly run in background. + fish -c 'fish_update_completions > /dev/null ^/dev/null' & + end + # # Print a greeting # |