nodejs
/
docker-node
mirror of https://github.com/nodejs/docker-node.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Use doctoc to check if "Table of Contents" up-to-date

This commit is contained in:
Peter Dave Hello 2017-07-06 14:58:22 +08:00
parent 0ac987d111
commit 876f13a0ea
2 changed files with 12 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
.travis.yml
View File

@ -6,8 +6,16 @@ services:
script: script:
- if [ "true" = "${SHELLCHECK-}" ]; then shellcheck *.sh ; fi - if [ "true" = "${SHELLCHECK-}" ]; then shellcheck *.sh ; fi
- if [ -n "${NODE_VERSION-}" ]; then ./test-build.sh $NODE_VERSION ; fi - if [ -n "${NODE_VERSION-}" ]; then ./test-build.sh $NODE_VERSION ; fi
- if [ "true" = "${DOCTOCCHECK-}" ]; then
nvm install node &&
npm i -g doctoc &&
cp README.md README.md.tmp &&
doctoc --title='## Table of Contents' --github README.md &&
diff -q README.md README.md.tmp;
fi
env: env:
- DOCTOCCHECK: true
- NODE_VERSION: '4.8' - NODE_VERSION: '4.8'
- NODE_VERSION: '6.11' - NODE_VERSION: '6.11'
- NODE_VERSION: '7.10' - NODE_VERSION: '7.10'

4
README.md
View File

@ -7,6 +7,8 @@
The official Node.js docker image, made with love by the node community. The official Node.js docker image, made with love by the node community.
<!-- START doctoc generated TOC please keep comment here to allow auto update -->
<!-- DON'T EDIT THIS SECTION, INSTEAD RE-RUN doctoc TO UPDATE -->
## Table of Contents ## Table of Contents
- [What is Node.js?](#what-is-nodejs) - [What is Node.js?](#what-is-nodejs)
@ -30,6 +32,8 @@ The official Node.js docker image, made with love by the node community.
- [Docker Working Group Members](#docker-working-group-members) - [Docker Working Group Members](#docker-working-group-members)
- [Docker Working Group Collaborators](#docker-working-group-collaborators) - [Docker Working Group Collaborators](#docker-working-group-collaborators)
<!-- END doctoc generated TOC please keep comment here to allow auto update -->
## What is Node.js? ## What is Node.js?
Node.js is a platform built on Chrome's JavaScript runtime for easily building Node.js is a platform built on Chrome's JavaScript runtime for easily building