From: Thomas Walker Lynch Date: Tue, 14 Oct 2025 05:30:16 +0000 (+0000) Subject: removes pencils from scripts X-Git-Url: https://git.reasoningtechnology.com/style/%5B%5E?a=commitdiff_plain;h=754ad1a87f33727aaa66f1b85e8cce7b678d698e;p=RT-project-share removes pencils from scripts --- diff --git a/developer/bash/make_project_skeleton.sh b/developer/bash/make_project_skeleton.sh deleted file mode 100644 index 8404711..0000000 --- a/developer/bash/make_project_skeleton.sh +++ /dev/null @@ -1,46 +0,0 @@ -#!/usr/bin/env bash - -# this has never been run, but is the general idea ... ROOT_DIR needs to be changed - -set -e - -ROOT_DIR="${1:-Harmony}" -echo "Creating Harmony project skeleton in: $ROOT_DIR" - -# Create top-level structure -mkdir -p "$ROOT_DIR"/{developer,release,tester,tmp,tool_shared/{bespoke🖉,customized,document🖉,third_party}} - -# Create env_ scripts as placeholders -for role in developer tester toolsmith; do - touch "$ROOT_DIR/env_$role" -done - -# Create LICENSE and README.md placeholders -touch "$ROOT_DIR/LICENSE" -touch "$ROOT_DIR/README.md" - -# Create git_holder in release/ and tester/ -touch "$ROOT_DIR/release/git_holder" -touch "$ROOT_DIR/tester/git_holder" - -# Create .gitignore in tmp/ and third_party/ -cat > "$ROOT_DIR/tmp/.gitignore" < "$ROOT_DIR/tool_shared/third_party/.gitignore" < scripts and LICENSE as needed." diff --git a/developer/bash/release_ls b/developer/bash/release_ls index 52550b6..ce0b10e 100755 --- a/developer/bash/release_ls +++ b/developer/bash/release_ls @@ -5,7 +5,7 @@ script_afp=$(realpath "${BASH_SOURCE[0]}") # input guards - env_must_be="developer/tool🖉/env" + env_must_be="developer/tool/env" if [ "$ENV" != "$env_must_be" ]; then echo "$(script_fp):: error: must be run in the $env_must_be environment" exit 1 diff --git a/developer/make/environment_RT_0 b/developer/make/environment_RT_0 index c17b478..a9c91be 100644 --- a/developer/make/environment_RT_0 +++ b/developer/make/environment_RT_0 @@ -10,7 +10,7 @@ ECHO := printf "%b\n" # sources found in these subdirectories: -SRCDIR_List=cc cc🖉 +SRCDIR_List=cc cc LIBDIR=scratchpad EXECDIR=machine diff --git a/developer/tool/env b/developer/tool/env index 154c63a..7fd5455 100644 --- a/developer/tool/env +++ b/developer/tool/env @@ -3,7 +3,7 @@ script_afp=$(realpath "${BASH_SOURCE[0]}") # input guards - env_must_be="tool_shared/bespoke🖉/env" + env_must_be="tool_shared/bespoke/env" error=false if [ "$ENV" != "$env_must_be" ]; then echo "$(script_fp):: error: must be run in the $env_must_be environment" @@ -18,8 +18,8 @@ script_afp=$(realpath "${BASH_SOURCE[0]}") # so we can do the build export PATH=\ -"$REPO_HOME"/developer/tool🖉/\ -:"$REPO_HOME"/tool_shared/bespoke🖉/\ +"$REPO_HOME"/developer/tool/\ +:"$REPO_HOME"/tool_shared/bespoke/\ :"$PATH" # misc diff --git a/developer/tool/make b/developer/tool/make index 84e1111..5ab34eb 100755 --- a/developer/tool/make +++ b/developer/tool/make @@ -2,5 +2,5 @@ set -e cd ${REPO_HOME}/developer -/bin/make -f tool🖉/makefile $@ +/bin/make -f tool/makefile $@ diff --git a/developer/tool/release b/developer/tool/release index 49ca12f..93e1eb2 100755 --- a/developer/tool/release +++ b/developer/tool/release @@ -8,7 +8,7 @@ script_afp=$(realpath "${BASH_SOURCE[0]}") exit 1 fi - env_must_be="developer/tool🖉/env" + env_must_be="developer/tool/env" if [ "$ENV" != "$env_must_be" ]; then echo "$(script_fp):: error: must be run in the $env_must_be environment" exit 1 @@ -57,9 +57,9 @@ script_afp=$(realpath "${BASH_SOURCE[0]}") pushd ../release >& /dev/null set -x ln -snf ../developer/amd64 amd64 - ln -snf ../developer/bash🖉 bash - ln -snf ../developer/emacs🖉 emacs - ln -snf ../developer/make🖉 make + ln -snf ../developer/bash bash + ln -snf ../developer/emacs emacs + ln -snf ../developer/make make set +x popd >& /dev/null diff --git a/document/Pencil_Suffix.html b/document/Pencil_Suffix.html deleted file mode 100644 index f0cbe01..0000000 --- a/document/Pencil_Suffix.html +++ /dev/null @@ -1,134 +0,0 @@ - - - - - - - Pencil Suffix - - - -
-

The Pencil Suffix and Authored Files

- -

How to Use the Pencil Suffix

- -

The pencil suffix is a Unicode character, 🖉, that is placed as the last character of a filename or directory name. It signifies that the file, or contents of a so named directory, are uniquely authored and should not be deleted or rebuilt by clean scripts or build scripts. The pencil suffix also serves as a communication tool among team members as to where in the project edits should be inserted.

- - Two methods for marking a file as authored: -
    -
  • Directory with Pencil Suffix: This method marks all contents within said directory sub-tree as being authored.
  • -
  • File Name Last Character as Pencil: This directly marks the file itself as authored.
  • -
- - -

The recommended method to mark files as authored is to place them in a directory, where the name of said directory ends with the pencil symbol. Directly marked files will then be exceptional cases.

- -

Pencil suffix definition

- -

By definition, the pencil suffix designates files or directories as leaves in the build tree. Hence, by definition pencil suffix files are not built by tools. It is a corollary that these files are the primary sources of material and serve as points of entry for edits by authors, whether human or AI. Thus we refer to these leaves as authored. At the time of writing, this definition is maintained by contract with the programers, along with the assistance of the rm_na tool.

- -

Replace rm with rm_na in scripts

- -

The rm_na command is a modified version of the standard rm command, and it refuses to delete files marked as being authored. This is true whether the file is marked as authored with a pencil suffix or is found in a directory tree marked as such.

- -

Use rm_na in place of rm in scripts that clean, build, or otherwise manipulate project files.

- -

While rm_na offers a safeguard, the pencil suffix itself does not enforce permissions. Users can still manually delete 🖉-marked files using rm, and roqque builds can overwrite them.

- -

Pencil suffix and editablity

- -

The pencil suffix does not inherently restrict or permit editing. A file without the pencil suffix that has write permissions can also be edited; however, such edits are at risk of being overwritten or lost during builds or cleans. While lack of a pencil suffix on a file, or inclusion in such a directory, does not prevent a file from being edited - it does mean that it might not be advisable to edit such a file. Conversely, it is intended that a file marked as authored can be edited without fear of the edits being overwritten. Hence pencil suffix files are the appropriate places to insert edits into a project. In this sense the pencil suffix does indicate a file is 'editable'; however, this is not the definition of the pencil suffix, rather it is a property that emerges from the definition.

- -

Symbolic Links

- -

Symbolic links, while facilitating access to authored files, are independent entities that merely point to targets. As such, the link itself is not an authored file, and its lifecycle is separate from the content it references. A symbolic link can be created or deleted without impacting the authored content it points to.

- -

Because symbolic links are not authored entities, they do not carry pencil suffixes, even when their targets do. This distinction ensures that the pencil suffix remains specific to authored files and directories, highlighting their preservation within the project.

- -

However, this lack of pencil suffix on links can create confusion. Users viewing symbolic links in a directory listing may overlook authored content if they rely solely on the link names. The intended edit points within the project might not be apparent unless users examine the targets of the links.

- -

To mitigate potential confusion, file browsers or editors that visually distinguish symbolic links from regular files are highly valuable. These tools help users identify links at a glance, preserving the clarity of authored content within the project structure.

- - - - -

Hard Links

- -

Among multiple hard links, none is distinguished as being the primary file link. Hence, should a hard link point at an authored file, and that hardlink is not in a directory that already identifies it as an authored file, it should have the pencil suffix. It is the only option available, because in general we can not know the order of deletion of the hard links, and thus do not know which will be the last one that should not be deleted. Hard links are strange beasts that should be avoided for many other reasons as well.

- - -

Future direction

- -

In the future we hope for tighter integration with the OS, perhaps through use of sub-users (see the subu project), or through a property based file system. For now it is a communication tool, one which is strengthened through use of the rm_na command.

- - - - diff --git a/env_administrator b/env_administrator index 2f09f8a..bb09700 100644 --- a/env_administrator +++ b/env_administrator @@ -5,6 +5,6 @@ if [[ "${BASH_SOURCE[0]}" == "$0" ]]; then exit 1 fi -source tool_shared/bespoke🖉/env -source tool🖉/env +source tool_shared/bespoke/env +source tool/env diff --git a/env_developer b/env_developer index 3f3e1b5..231146e 100644 --- a/env_developer +++ b/env_developer @@ -5,6 +5,6 @@ if [[ "${BASH_SOURCE[0]}" == "$0" ]]; then exit 1 fi -source tool_shared/bespoke🖉/env -source developer/tool🖉/env $@ +source tool_shared/bespoke/env +source developer/tool/env $@ diff --git a/env_tester b/env_tester index 919b789..26e6cd5 100644 --- a/env_tester +++ b/env_tester @@ -5,5 +5,5 @@ if [[ "${BASH_SOURCE[0]}" == "$0" ]]; then exit 1 fi -source tool_shared/bespoke🖉/env -source tester/tool🖉/env $@ +source tool_shared/bespoke/env +source tester/tool/env $@ diff --git a/tool/env b/tool/env index a318fa0..73eaff8 100644 --- a/tool/env +++ b/tool/env @@ -3,7 +3,7 @@ script_afp=$(realpath "${BASH_SOURCE[0]}") # input guards - env_must_be="tool_shared/bespoke🖉/env" + env_must_be="tool_shared/bespoke/env" error=false if [ "$ENV" != "$env_must_be" ]; then echo "$(script_fp):: error: must be run in the $env_must_be environment" @@ -16,7 +16,7 @@ script_afp=$(realpath "${BASH_SOURCE[0]}") if $error; then exit 1; fi export PATH=\ -"$REPO_HOME"/tool_shared/bespoke🖉/\ +"$REPO_HOME"/tool_shared/bespoke/\ :"$PATH" # expose sneaky hidden files