From baf811f235d5e672385feb4dff7606ecf13862d8 Mon Sep 17 00:00:00 2001 From: zkldi <20380519+zkldi@users.noreply.github.com> Date: Sat, 17 Aug 2024 14:58:46 +0000 Subject: [PATCH] fix: more fish --- .devcontainer/devcontainer.json | 15 +++++++++++++++ 1 file changed, 15 insertions(+) diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json index cf2969785..077147fa7 100644 --- a/.devcontainer/devcontainer.json +++ b/.devcontainer/devcontainer.json @@ -20,6 +20,21 @@ "editor.formatOnSave": true, "editor.defaultFormatter": "dbaeumer.vscode-eslint" }, + "terminal.integrated.profiles.linux": { + "fish": { + "path": "fish" + } + }, + "terminal.integrated.profiles.windows": { + "fish": { + "path": "fish" + } + }, + "terminal.integrated.profiles.osx": { + "fish": { + "path": "fish" + } + }, "terminal.integrated.defaultProfile.linux": "fish", "terminal.integrated.defaultProfile.windows": "fish", "terminal.integrated.defaultProfile.osx": "fish"