anchor.diff:  , vscode-utils
   , useLocalExtensions ? false}:
   # Note that useLocalExtensions requires that vscode-server is not running
  -# on host. If it is, you'll need to remove ~/.vscode-server,
  +# on host. If it is, you'll need to remove $HOME/.vscode-server,
   # and redo the install by running "Connect to host" on client
   
   let
  
positive.code:   # patch runs on remote machine hence use of which
    # links to local node if version is 12
    patch = ''
      f="/home/''$USER/.vscode-server/bin/''$COMMIT_ID/node"
      localNodePath=''$(which node)
      if [ -x "''$localNodePath" ]; then
        localNodeVersion=''$(node -v)
  
negative.code:     fi
      ${lib.optionalString useLocalExtensions ''
        # Use local extensions
        if [ -d $HOME/.vscode/extensions ]; then
          if ! test -L "$HOME/.vscode-server/extensions"; then
            mkdir -p $HOME/.vscode-server
            ln -s $HOME/.vscode/extensions $HOME/.vscode-server/
          fi
        fi
      ''}
  