0
0
mirror of https://github.com/nodejs/node.git synced 2024-11-29 23:16:30 +01:00
nodejs/tools/update-eslint.sh

32 lines
875 B
Bash
Raw Normal View History

#!/usr/bin/env bash
# Shell script to update ESLint in the source tree to the latest release.
# Depends on npm and node being in $PATH.
# This script must be be in the tools directory when it runs because it uses
# $BASH_SOURCE[0] to determine directories to work in.
cd "$( dirname "${BASH_SOURCE[0]}" )"
rm -rf eslint
mkdir eslint-tmp
cd eslint-tmp
npm install --global-style --no-binlinks --production eslint@latest
cd node_modules/eslint
# eslint-plugin-markdown is pinned at 1.0.0-beta.4 until there is a release
# that fixes https://github.com/eslint/eslint-plugin-markdown/issues/69.
npm install --no-bin-links --production eslint-plugin-markdown@1.0.0-beta.4
cd ../..
# Install dmn if it is not in path.
type -P dmn || npm install -g dmn
# Use dmn to remove some unneeded files.
dmn -f clean
cd ..
mv eslint-tmp/node_modules/eslint eslint
rm -rf eslint-tmp/