Add quotes

kgryte · kgryte · commit 9065498f3d61 · 2020-09-03T15:10:04.000-07:00
diff --git a/docs/development.md b/docs/development.md
@@ -253,7 +253,7 @@ workshops  workshops
     $ git config --add oh-my-zsh.hide-dirty 1
     ```
 
--   Some shells (e.g., [Zsh][zsh]) may require quotes around environment variables to prevent the shell from expanding paths. If this is the case, wrap paths in quotes. For example, replace
+-   Some shells (e.g., [Zsh][zsh]) may require quotes around environment variables to prevent the shell from expanding paths. If this is the case, wrap paths, or values which may be interpreted as paths, in quotes. For example, replace
 
     <!-- run-disable -->
 
@@ -289,15 +289,15 @@ To run select tests,
 <!-- run-disable -->
 
 ```bash
-$ make TESTS_FILTER=.*/<pattern>/.* test
+$ make TESTS_FILTER=".*/<pattern>/.*" test
 ```
 
 where `<pattern>` is a pattern matching a particular path. For example, to test only base special math functions
 
 <!-- run-disable -->
 
 ```bash
-$ make TESTS_FILTER=.*/math/base/special/.* test
+$ make TESTS_FILTER=".*/math/base/special/.*" test
 ```
 
 where the pattern `.*/math/base/special/.*` matches any test file whose absolute path contains `math/base/special`.
@@ -307,7 +307,7 @@ To generate a test coverage report,
 <!-- run-disable -->
 
 ```bash
-$ make TESTS_FILTER=.*/<pattern>/.* test-cov
+$ make TESTS_FILTER=".*/<pattern>/.*" test-cov
 $ make view-cov
 ```
 
@@ -316,8 +316,8 @@ If you are developing a tool (i.e., code located in the `tools` directory), to r
 <!-- run-disable -->
 
 ```bash
-$ make TESTS_FILTER=.*/<pattern>/.* tools-test
-$ make TESTS_FILTER=.*/<pattern>/.* tools-test-cov
+$ make TESTS_FILTER=".*/<pattern>/.*" tools-test
+$ make TESTS_FILTER=".*/<pattern>/.*" tools-test-cov
 $ make view-cov
 ```
 
@@ -326,15 +326,15 @@ Similarly, to run benchmarks
 <!-- run-disable -->
 
 ```bash
-$ make BENCHMARKS_FILTER=.*/<pattern>/.* benchmark
+$ make BENCHMARKS_FILTER=".*/<pattern>/.*" benchmark
 ```
 
 and examples
 
 <!-- run-disable -->
 
 ```bash
-$ make EXAMPLES_FILTER=.*/<pattern>/.* examples
+$ make EXAMPLES_FILTER=".*/<pattern>/.*" examples
 ```
 
 ## Contributing
