From 8ccac6668d5e4ea391c11c8fc5955a96b8e3936b Mon Sep 17 00:00:00 2001 From: GitHub Actions Date: Tue, 16 May 2023 18:15:15 +0000 Subject: [PATCH] differences for PR #1393 --- 03-create.md | 15 +++++++++++++++ md5sum.txt | 2 +- 2 files changed, 16 insertions(+), 1 deletion(-) diff --git a/03-create.md b/03-create.md index ac0eb0864..dcd26fa8a 100644 --- a/03-create.md +++ b/03-create.md @@ -148,6 +148,21 @@ expected and can even result in data loss. If you need to refer to names of files or directories that have spaces or other special characters, you should surround the name in quotes (`""`). +:::::::::::::::::::::::::::::::::::::::::::::::::: + +::::::::::::::::::::::::::::::::::::::::: callout + +## Case Sensitivity + +This is normally driven by the underlying OS. In most implementations of BASH it is case sensitive, with the exception of MacOS which is case insensitive. Some OSs have predefined directories that use a capital letter at the start, such as Download, and Desktop. This is used to make these directors stand out. + +It is standard practice to use lowercase for your files and directories, but this is only a guideline. + +If you choose to use capital letters at the start of your file names, you should bear in mind the fact that sorting order in Unix is (sometimes) case sensitive, and some commands such as grep you may need additional options to achieve the desired result. + +Also this effect is negligible if the letter isn't the first letter in the name, so it's not an issue if you use naming standards such as camelCase. + + :::::::::::::::::::::::::::::::::::::::::::::::::: ### Create a text file diff --git a/md5sum.txt b/md5sum.txt index 9971adc38..e32b59412 100644 --- a/md5sum.txt +++ b/md5sum.txt @@ -5,7 +5,7 @@ "index.md" "b40a8b40c0ac29c17dd1ee7f402b62e4" "site/built/index.md" "2023-05-02" "episodes/01-intro.md" "57b4ec2144eeee08e8459ee1834d5b38" "site/built/01-intro.md" "2023-05-02" "episodes/02-filedir.md" "60da5d7ed18c2eb28c20cb39919a3c4c" "site/built/02-filedir.md" "2023-05-02" -"episodes/03-create.md" "75f0f0b4c8c9d02df4cd9409aabe254a" "site/built/03-create.md" "2023-05-05" +"episodes/03-create.md" "b260cf7d742071a507af655b8f36bbfd" "site/built/03-create.md" "2023-05-16" "episodes/04-pipefilter.md" "b19f85ca85c146a6b85c4c6dd422fc81" "site/built/04-pipefilter.md" "2023-05-02" "episodes/05-loop.md" "9858630db913016e302d18d2ee2dbfa3" "site/built/05-loop.md" "2023-05-16" "episodes/06-script.md" "e268b251937dc4324d8428d1c90e5eca" "site/built/06-script.md" "2023-05-02"