github-mirror/fish-shell
2
0
Fork 0
mirror of https://github.com/fish-shell/fish-shell.git synced 2024-11-22 22:33:47 +08:00
Code Issues Actions Packages Projects Releases Wiki Activity

Do install the themes

Browse Source 
This has cheesy pattern matching that I'm not entirely sure adds
anything?

Surely if we add something to share/web_config that should be
installed *by default*?

Anyway, let's just add .theme to it
This commit is contained in:
Fabian Homborg 2021-07-10 11:06:16 +02:00
parent 072d735853
commit fa20dc8141
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
cmake/Install.cmake
View File

@ -91,7 +91,9 @@ fish_create_dirs(${rel_datadir}/fish ${rel_datadir}/fish/completions
${rel_datadir}/fish/tools/web_config ${rel_datadir}/fish/tools/web_config
${rel_datadir}/fish/tools/web_config/js ${rel_datadir}/fish/tools/web_config/js
${rel_datadir}/fish/tools/web_config/partials ${rel_datadir}/fish/tools/web_config/partials
${rel_datadir}/fish/tools/web_config/sample_prompts) ${rel_datadir}/fish/tools/web_config/sample_prompts
${rel_datadir}/fish/tools/web_config/themes
)
configure_file(share/__fish_build_paths.fish.in share/__fish_build_paths.fish) configure_file(share/__fish_build_paths.fish.in share/__fish_build_paths.fish)
install(FILES share/config.fish install(FILES share/config.fish
@ -147,6 +149,7 @@ install(DIRECTORY share/tools/web_config
PATTERN "*.html" PATTERN "*.html"
PATTERN "*.py" PATTERN "*.py"
PATTERN "*.js" PATTERN "*.js"
PATTERN "*.theme"
PATTERN "*.fish") PATTERN "*.fish")
# Building the man pages is optional: if Sphinx isn't installed, they're not built # Building the man pages is optional: if Sphinx isn't installed, they're not built