diff options
| author | pennae <github@quasiparticle.net> | 2022-01-21 17:55:51 +0100 |
|---|---|---|
| committer | pennae <github@quasiparticle.net> | 2022-01-27 17:15:43 +0100 |
| commit | 0d7fae6a574ec1b6758a7e6d8e639145c1c465a9 (patch) | |
| tree | fda5ab069729b9a078ca8e220d42d56515c988ec /src/nix/develop.cc | |
| parent | 558c4ee3e370c9f9a6ea293df54ed6914a999f1c (diff) | |
convert a for more utilities to string_view
Diffstat (limited to 'src/nix/develop.cc')
| -rw-r--r-- | src/nix/develop.cc | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/nix/develop.cc b/src/nix/develop.cc index a8ca1cac2..42e13436a 100644 --- a/src/nix/develop.cc +++ b/src/nix/develop.cc @@ -472,9 +472,11 @@ struct CmdDevelop : Common, MixEnvironment else { script = "[ -n \"$PS1\" ] && [ -e ~/.bashrc ] && source ~/.bashrc;\n" + script; if (developSettings.bashPrompt != "") - script += fmt("[ -n \"$PS1\" ] && PS1=%s;\n", shellEscape(developSettings.bashPrompt)); + script += fmt("[ -n \"$PS1\" ] && PS1=%s;\n", + shellEscape(developSettings.bashPrompt.get())); if (developSettings.bashPromptSuffix != "") - script += fmt("[ -n \"$PS1\" ] && PS1+=%s;\n", shellEscape(developSettings.bashPromptSuffix)); + script += fmt("[ -n \"$PS1\" ] && PS1+=%s;\n", + shellEscape(developSettings.bashPromptSuffix.get())); } writeFull(rcFileFd.get(), script); |