Merge pull request #173 from k4rtik/spelling

Spelling fixes

Author: MSoegtropIMC

notes/opam-depext.md

@@ -1,7 +1,7 @@
 # Depext and opam versions
 
 From opam 2.1.0 on, depext is integrated into opam.
-Depext depedencies are treated in the same way as any other dependency.
+Depext dependencies are treated in the same way as any other dependency.
 
 The Coq Platforms scripts define a shell variable COQ_PLATFORM_OPAM_DEPEXT_COMMAND,
 which is 'depext' for opam < 2.1.0 and 'install --confirm-level=unsafe-yes --depext-only'

shell_scripts/ask_packagelist.sh

@@ -21,7 +21,7 @@ packages, but also older versions or development versions of Coq. You can
 install several versions of Coq in parallel, which simplifies porting of
 developments. You can use "opam switch" to switch between Coq versions.
 
-The follwoing versions / package lists are supported:
+The following versions / package lists are supported:
 EOH
 
   packagefile_list="$( (for file in versions/packages-*.sh; do echo "$(grep "COQ_PLATFORM_VERSION_SORTORDER=" $file) $file"; done) | tr '=' ' ' | sed 's/  */ /g' | sort -n | cut -d ' ' -f 3)"
@@ -41,12 +41,12 @@ cat <<EOH
 Pleas select a version by entering the number shown at the begin of a line.
 ========================= SELECT PACKAGELIST VERSION ==========================
 EOH
-  ask_user_mumber "Select package list" 1 "${packageindex}"
+  ask_user_number "Select package list" 1 "${packageindex}"
   packageindex=0
   for packagefile in ${packagefile_list}
   do
     packageindex=$((${packageindex} + 1))
-    if [ "${packageindex}" -eq "${ANSWER}" ] 
+    if [ "${packageindex}" -eq "${ANSWER}" ]
     then
       COQ_PLATFORM_PACKAGELIST="${packagefile}"
     fi

shell_scripts/ask_parallel_build.sh

@@ -23,10 +23,10 @@ The Coq Platform opam build has two levels of parallelism:
 
 Since a single coqc call can take more than 1 GB of RAM and since the two
 above kinds of parallelism multiply, the total amount of memory can be large.
-But it is not as bad as one might expect: test show that a full parallel
+But it is not as bad as one might expect: tests show that a full parallel
 build takes less than 14GB of RAM with 15 parallel make jobs.
 
-With 32 GB or RAM a parallel package build with 16 make jobs is recommended.
+With 32 GB of RAM a parallel package build with 16 make jobs is recommended.
 With 16 GB of RAM a parallel package build with 4 make jobs is recommended.
 With 8 GB of RAM a sequential package build with 4 make jobs is recommended.
 With 4 GB+1GB swap a sequential package build with 2 make jobs is recommended.
@@ -39,6 +39,6 @@ https://github.com/coq/platform/issues
 EOH
   ask_user_opt2_cancel "Build opam packages parallel (p) or sequential (s)?" pP "parallel" sS "sequential"
   COQ_PLATFORM_PARALLEL=$ANSWER
-  ask_user_mumber "Number of parallel make jobs" 1 16
+  ask_user_number "Number of parallel make jobs" 1 16
   COQ_PLATFORM_JOBS=$ANSWER
 fi

shell_scripts/closing_remarks.sh

@@ -27,7 +27,7 @@ After switching you can list the installed packages with:
 
     opam list
 
-You can install additionalpackages with:
+You can install additional packages with:
 
     opam install <package>
 

shell_scripts/get_names_from_switch.sh

@@ -8,9 +8,9 @@
 # Creative Commons CC0 1.0 Universal License
 # See https://creativecommons.org/publicdomain/zero/1.0/legalcode.txt
 
-###################### Get plaform name info from an opam switch #####################
+###################### Get platform name info from an opam switch #####################
 
-# First get COQ_PLATFORM_SWITCH_NAME with the COQ_PLATFORM_PACKAGELIST_NAME part beeing empty
+# First get COQ_PLATFORM_SWITCH_NAME with the COQ_PLATFORM_PACKAGELIST_NAME part being empty
 COQ_PLATFORM_PACKAGELIST_NAME=''
 source versions/coq_platform_version.sh
 source versions/coq_platform_switch_name.sh

shell_scripts/init_cygwin_fixes.sh

@@ -8,7 +8,7 @@
 # Creative Commons CC0 1.0 Universal License
 # See https://creativecommons.org/publicdomain/zero/1.0/legalcode.txt
 
-###################### Select a python interperter #####################
+###################### Select a python interpreter #####################
 
 # Cygwin stopped to have a /usr/bin/python symlink, but some build scripts
 # expect that there is *a* python.

shell_scripts/init_utilities.sh

@@ -157,7 +157,7 @@ function ask_user_opt4_cancel {
 # $3 upper
 # ------------------------------------------------------------------------------
 
-function ask_user_mumber {
+function ask_user_number {
   while true; do
     read -p "$1 (number in $2..$3, c=cancel) " answer
     case "$answer" in
@@ -255,4 +255,4 @@ function check_value_file_exists {
     return 1
   fi
 
-}
+}

shell_scripts/install_opam.sh

@@ -123,7 +123,7 @@ version 0.2.1, or you can run opam without sandbox.
 EOH
     if [[ "${COQREGTESTING:-n}" == n ]]
     then
-      ask_user_opt1_cancel "Disable sandbox (d) or cancel (c)?" dD "dsiable sandbox"
+      ask_user_opt1_cancel "Disable sandbox (d) or cancel (c)?" dD "disable sandbox"
     fi
     COQ_PLATFORM_OPAM_INIT_EXTRA=--disable-sandboxing
   fi

shell_scripts/sanitize_environment.sh

@@ -10,7 +10,7 @@
 
 ###################### Clear unwanted environment variables #####################
 
-# Site setings for configure are likely never what we want since opam installs in
+# Site settings for configure are likely never what we want since opam installs in
 # its own folders. See discussion at
 # https://coq.zulipchat.com/#narrow/stream/237977-Coq-users/topic/flocq.20installation.20error
 # This is an issue e.g. on OpenSuse 15.2 Leap

windows/configure_profile.sh

@@ -11,7 +11,7 @@
 ###################### CONFIGURE CYGWIN USER PROFILE FOR BUILDING COQ ######################
 
 rcfile=~/.bash_profile
-donefile=~/.bash_profile.upated
+donefile=~/.bash_profile.updated
 
 if [ ! -f $donefile ] ; then
   # to learn about `exec >> $file`, see https://www.tldp.org/LDP/abs/html/x17974.html
@@ -36,7 +36,7 @@ if [ ! -f $donefile ] ; then
   # Other installations of OCaml will mess up things
   echo unset OCAMLLIB
 
-  # Set a marker that this is a cygwin inteded for Coq Platform compilation
+  # Set a marker that this is a cygwin intended for Coq Platform compilation
   echo export COQ_PLATFORM_CYGWIN_OK=Y
 
   exec 1>&6 6>&-       # Restore stdout from file descriptor 6 and close file descriptor #6