浏览代码

Merge pull request #8111 from jtpio/docs-storage

Update docs on storing extension data
Steven Silvester 5 年之前
父节点
当前提交
a8d49aaa89
共有 2 个文件被更改,包括 7 次插入10 次删除
  1. 2 5
      docs/source/developer/extension_dev.rst
  2. 5 5
      scripts/ci_script.sh

+ 2 - 5
docs/source/developer/extension_dev.rst

@@ -490,11 +490,8 @@ Storing Extension Data
 ^^^^^^^^^^^^^^^^^^^^^^
 
 In addition to the file system that is accessed by using the
-``@jupyterlab/services`` package, JupyterLab offers two ways for
-extensions to store data: a client-side state database that is built on
-top of ``localStorage`` and a plugin settings system that provides for
-default setting values and user overrides.
-
+``@jupyterlab/services`` package, JupyterLab exposes a plugin settings
+system that can be used to provide default setting values and user overrides.
 
 Extension Settings
 ``````````````````

+ 5 - 5
scripts/ci_script.sh

@@ -45,10 +45,6 @@ fi
 
 
 if [[ $GROUP == docs ]]; then
-
-    # Run the link check - allow for a link to fail once
-    py.test --check-links -k .md . || py.test --check-links -k .md --lf .
-
     # Build the docs
     jlpm build:packages
     jlpm docs
@@ -56,9 +52,13 @@ if [[ $GROUP == docs ]]; then
     # Verify tutorial docs build
     pushd docs
     pip install sphinx sphinx-copybutton sphinx_rtd_theme recommonmark jsx-lexer
-    make linkcheck
     make html
+    make linkcheck
     popd
+
+    # Run the link check - allow for a link to fail once
+    py.test --check-links -k .md . || py.test --check-links -k .md --lf .
+
 fi