diff options
author | RĂ©mi Verschelde <remi@verschelde.fr> | 2022-04-25 23:10:48 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-04-25 23:10:48 +0200 |
commit | bef00b2b0d24f77cb125070113f8a50a7f895c00 (patch) | |
tree | 7ed508ca8d9470af944ae36bb42bba6beccb68b6 /misc | |
parent | 3e1df91ca6a5138a902e8e27dd546132099f9b54 (diff) | |
parent | 1304d72fc18f979d4c924fe40ad4c3f8714b4a5e (diff) |
Merge pull request #60445 from nathanfranke/minor-changes
small changes: improve OS.get_name classref, misc/scripts fixes, remove trailing quote
Diffstat (limited to 'misc')
-rwxr-xr-x | misc/scripts/black_format.sh | 4 | ||||
-rwxr-xr-x | misc/scripts/clang_format.sh | 6 | ||||
-rwxr-xr-x | misc/scripts/clang_tidy.sh | 4 | ||||
-rwxr-xr-x | misc/scripts/file_format.sh | 5 |
4 files changed, 9 insertions, 10 deletions
diff --git a/misc/scripts/black_format.sh b/misc/scripts/black_format.sh index 99343f1c5a..f6fac58e50 100755 --- a/misc/scripts/black_format.sh +++ b/misc/scripts/black_format.sh @@ -11,13 +11,13 @@ black -l 120 $PY_FILES diff=$(git diff --color) -# If no patch has been generated all is OK, clean up, and exit. +# If no diff has been generated all is OK, clean up, and exit. if [ -z "$diff" ] ; then printf "Files in this commit comply with the black style rules.\n" exit 0 fi -# A patch has been created, notify the user, clean up, and exit. +# A diff has been created, notify the user, clean up, and exit. printf "\n*** The following differences were found between the code " printf "and the formatting rules:\n\n" echo "$diff" diff --git a/misc/scripts/clang_format.sh b/misc/scripts/clang_format.sh index 6d19044d96..ba30ca8924 100755 --- a/misc/scripts/clang_format.sh +++ b/misc/scripts/clang_format.sh @@ -28,13 +28,13 @@ done diff=$(git diff --color) -# If no patch has been generated all is OK, clean up, and exit. +# If no diff has been generated all is OK, clean up, and exit. if [ -z "$diff" ] ; then - printf "Files in this commit comply with the clang-tidy style rules.\n" + printf "Files in this commit comply with the clang-format style rules.\n" exit 0 fi -# A patch has been created, notify the user, clean up, and exit. +# A diff has been created, notify the user, clean up, and exit. printf "\n*** The following changes have been made to comply with the formatting rules:\n\n" echo "$diff" printf "\n*** Please fix your commit(s) with 'git commit --amend' or 'git rebase -i <hash>'\n" diff --git a/misc/scripts/clang_tidy.sh b/misc/scripts/clang_tidy.sh index e49f6ac9f4..63c1b10042 100755 --- a/misc/scripts/clang_tidy.sh +++ b/misc/scripts/clang_tidy.sh @@ -18,13 +18,13 @@ done diff=$(git diff --color) -# If no patch has been generated all is OK, clean up, and exit. +# If no diff has been generated all is OK, clean up, and exit. if [ -z "$diff" ] ; then printf "Files in this commit comply with the clang-tidy style rules.\n" exit 0 fi -# A patch has been created, notify the user, clean up, and exit. +# A diff has been created, notify the user, clean up, and exit. printf "\n*** The following changes have been made to comply with the formatting rules:\n\n" echo "$diff" printf "\n*** Please fix your commit(s) with 'git commit --amend' or 'git rebase -i <hash>'\n" diff --git a/misc/scripts/file_format.sh b/misc/scripts/file_format.sh index 0c7235817d..c767d3f8a0 100755 --- a/misc/scripts/file_format.sh +++ b/misc/scripts/file_format.sh @@ -49,14 +49,13 @@ done diff=$(git diff --color) -# If no patch has been generated all is OK, clean up, and exit. +# If no diff has been generated all is OK, clean up, and exit. if [ -z "$diff" ] ; then printf "Files in this commit comply with the formatting rules.\n" - rm -f patch.patch exit 0 fi -# A patch has been created, notify the user, clean up, and exit. +# A diff has been created, notify the user, clean up, and exit. printf "\n*** The following differences were found between the code " printf "and the formatting rules:\n\n" echo "$diff" |