diff options
Diffstat (limited to 'pkgs/applications/editors/jetbrains/bin/linux.nix')
-rw-r--r-- | pkgs/applications/editors/jetbrains/bin/linux.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/applications/editors/jetbrains/bin/linux.nix b/pkgs/applications/editors/jetbrains/bin/linux.nix index d26fb9847dfc..ca70c4e4cec5 100644 --- a/pkgs/applications/editors/jetbrains/bin/linux.nix +++ b/pkgs/applications/editors/jetbrains/bin/linux.nix @@ -69,7 +69,7 @@ with stdenv; lib.makeOverridable mkDerivation (rec { ln -s ${jdk.home} jbr if [ -d "plugins/remote-dev-server" ]; then - patch -p1 < ${../patches/jetbrains-remote-dev.patch} + patch -F3 -p1 < ${../patches/jetbrains-remote-dev.patch} fi vmopts_file=bin/linux/${vmoptsName} |