turns off bash literal file globs for developer scripts
authorThomas Walker Lynch <eknp9n@reasoningtechnology.com>
Tue, 7 Jan 2025 05:04:50 +0000 (05:04 +0000)
committerThomas Walker Lynch <eknp9n@reasoningtechnology.com>
Tue, 7 Jan 2025 05:04:50 +0000 (05:04 +0000)
commite005120822450b84a9b75b3c72a4ebd859a6f22a
treee8946cfde0e79d8b3c16d56072eadc57ec38d239
parent4f86e71e104029c699940ce997b4370aab458d98
turns off bash literal file globs for developer scripts
18 files changed:
developer/bash/Build [new file with mode: 0755]
developer/documentđź–‰/Step_Right_Machine.txt
developer/example/Example_* [new file with mode: 0755]
developer/example/Example_CountingNumber_0 [deleted file]
developer/example/Example_IndexTree_Diagonal_SRM [deleted file]
developer/example/Example_SRMI_Array [deleted file]
developer/example/Example_SRM_List [deleted file]
developer/example/list [new file with mode: 0755]
developer/toolđź–‰/bash_wrapper_list
developer/toolđź–‰/clean
developer/toolđź–‰/env_script [new file with mode: 0644]
developer/toolđź–‰/gather_source_links
developer/toolđź–‰/gather_third_party
developer/toolđź–‰/make
developer/toolđź–‰/make_example
developer/toolđź–‰/release
release/Ariadne.jar
tool_shared/bespokeđź–‰/env