44set -x
55
66# Directory where docs repo is cloned
7- DOCS_REPO_DIR=${CLONE_DIR:- " ./imx-docs" }
7+ DOCS_REPO_DIR=" ${CLONE_DIR:- " ./imx-docs" } "
88
99# Root of the Passport features
1010PASSPORT_ROOT=" ./sample/Assets/Scripts/Passport"
1111
1212echo " Processing Passport tutorials..."
1313
1414# Load features.json to map script files to feature names
15- FEATURES_JSON=" $PASSPORT_ROOT /features.json"
16- if [ ! -f " $FEATURES_JSON " ]; then
17- echo " Error: features.json not found at $FEATURES_JSON "
15+ FEATURES_JSON=" ${ PASSPORT_ROOT} /features.json"
16+ if [ ! -f " ${ FEATURES_JSON} " ]; then
17+ echo " Error: features.json not found at ${ FEATURES_JSON} "
1818 exit 1
1919fi
2020
2121# Create _tutorials directory in docs repo
22- TUTORIALS_DIR=" $DOCS_REPO_DIR /docs/main/example/zkEVM/passport-examples/_tutorials"
23- mkdir -p " $TUTORIALS_DIR "
22+ TUTORIALS_DIR=" ${ DOCS_REPO_DIR} /docs/main/example/zkEVM/passport-examples/_tutorials"
23+ mkdir -p " ${ TUTORIALS_DIR} "
2424
25- # Find all tutorial.md files
26- TUTORIAL_FILES=$( find " $PASSPORT_ROOT " -name " tutorial.md" -type f)
27-
28- # Process null-delimited filenames
29- find " $PASSPORT_ROOT " -name " tutorial.md" -type f -print0 | while IFS= read -r -d ' ' TUTORIAL_FILE; do
30- echo " Processing $TUTORIAL_FILE "
25+ # Process null-delimited filenames
26+ find " ${PASSPORT_ROOT} " -name " tutorial.md" -type f -print0 | while IFS= read -r -d ' ' TUTORIAL_FILE; do
27+ echo " Processing ${TUTORIAL_FILE} "
3128
3229 # Extract feature directory
33- FEATURE_DIR=$( dirname " $TUTORIAL_FILE " )
30+ FEATURE_DIR=$( dirname " ${ TUTORIAL_FILE} " )
3431
3532 # Try to find script file in this directory
36- SCRIPT_FILE=$( find " $FEATURE_DIR " -name " *.cs" -type f -print0 | xargs -0 -n1 echo | head -n 1)
37- if [ -z " $SCRIPT_FILE " ]; then
38- echo " Warning: No script file found in $FEATURE_DIR , using directory name"
39- FEATURE_NAME=$( basename " $FEATURE_DIR " )
33+ SCRIPT_FILE=$( find " ${FEATURE_DIR} " -name " *.cs" -type f -print0 | xargs -0 -n1 echo | head -n 1)
34+
35+ if [ -z " ${SCRIPT_FILE} " ]; then
36+ echo " Warning: No script file found in ${FEATURE_DIR} , using directory name"
37+ FEATURE_NAME=$( basename " ${FEATURE_DIR} " )
4038 else
4139 # Extract script filename
42- SCRIPT_FILENAME=$( basename " $SCRIPT_FILE " )
40+ SCRIPT_FILENAME=$( basename " ${ SCRIPT_FILE} " )
4341
4442 # Look up the feature name in features.json
4543 # Extract feature name with error handling
46- if ! FEATURE_NAME=$( jq -r " .features[] | to_entries[] | select(.value == \" $SCRIPT_FILENAME \" ) | .key" " $FEATURES_JSON " 2> /dev/null) ; then
44+ if ! FEATURE_NAME=$( jq -r " .features[] | to_entries[] | select(.value == \" ${ SCRIPT_FILENAME} \" ) | .key" " ${ FEATURES_JSON} " 2> /dev/null) ; then
4745 echo " Warning: Error parsing features.json with jq, using directory name"
48- FEATURE_NAME=$( basename " $FEATURE_DIR " )
46+ FEATURE_NAME=$( basename " ${ FEATURE_DIR} " )
4947 fi
5048
5149 # If not found in features.json, fallback to directory name
52- if [ -z " $FEATURE_NAME " ] || [ " $FEATURE_NAME " == " null" ]; then
53- echo " Warning: Feature for script $SCRIPT_FILENAME not found in features.json, using directory name"
54- FEATURE_NAME=$( basename " $FEATURE_DIR " )
50+ if [ -z " ${ FEATURE_NAME} " ] || [ " ${ FEATURE_NAME} " == " null" ]; then
51+ echo " Warning: Feature for script ${ SCRIPT_FILENAME} not found in features.json, using directory name"
52+ FEATURE_NAME=$( basename " ${ FEATURE_DIR} " )
5553 fi
5654 fi
5755
58- echo " Feature name: $FEATURE_NAME "
56+ echo " Feature name: ${ FEATURE_NAME} "
5957
6058 # Copy and rename tutorial file
61- cp " $TUTORIAL_FILE " " $TUTORIALS_DIR /${FEATURE_NAME} .md"
62- echo " Copied $TUTORIAL_FILE to $TUTORIALS_DIR /${FEATURE_NAME} .md"
59+ cp " ${ TUTORIAL_FILE} " " ${ TUTORIALS_DIR} /${FEATURE_NAME} .md"
60+ echo " Copied ${ TUTORIAL_FILE} to ${ TUTORIALS_DIR} /${FEATURE_NAME} .md"
6361done
6462
6563# Copy the generated JSON file
6664JSON_FILE=" ./_parsed/passport-features.json"
67- if [ -f " $JSON_FILE " ]; then
65+ if [ -f " ${ JSON_FILE} " ]; then
6866 # Create directory for JSON file if it doesn't exist
69- JSON_DIR=" $DOCS_REPO_DIR /docs/main/example/zkEVM/passport-examples"
70- mkdir -p " $JSON_DIR "
67+ JSON_DIR=" ${ DOCS_REPO_DIR} /docs/main/example/zkEVM/passport-examples"
68+ mkdir -p " ${ JSON_DIR} "
7169
7270 # Copy JSON file
73- cp " $JSON_FILE " " $JSON_DIR /passport-features.json"
74- echo " Copied $JSON_FILE to $JSON_DIR /passport-features.json"
71+ cp " ${ JSON_FILE} " " ${ JSON_DIR} /passport-features.json"
72+ echo " Copied ${ JSON_FILE} to ${ JSON_DIR} /passport-features.json"
7573else
76- echo " Warning: No passport-features.json found at $JSON_FILE "
74+ echo " Warning: No passport-features.json found at ${ JSON_FILE} "
7775fi
7876
7977echo " Passport tutorial processing complete."
0 commit comments