File size: 870 Bytes
6e7eaf3 |
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 |
#!/bin/bash
# Check input argument $1 and $2
if [ -z "$1" ]; then
echo "Usage: $0 <path1>"
exit 1
fi
if [ -z "$2" ]; then
echo "Usage: $0 $1 <path2>"
exit 1
fi
echo "STARTING TOOL"
# Extract file name
filename=$(basename "$1")
nameWithoutType=$(echo "$filename" | awk -F '.' '{print $1}')
# Extract the path
SRC_DIR=$(dirname "$1")
txtFile="$nameWithoutType.txt"
txtFilePath="$SRC_DIR/$txtFile"
# Set installation path of the tool
TOOL_DIR="$2"
SCRIPT_DIR="$TOOL_DIR/script_py"
PATCHITPY_SCRIPT_PATH="$TOOL_DIR/patchitpy_ext.sh"
echo "PATCHITPY_SCRIPT_PATH: $TOOL_DIR"
# Ensure paths with spaces are handled by wrapping them in quotes
python3 "$SCRIPT_DIR/convertInline.py" "$1" "$txtFilePath"
bash "$PATCHITPY_SCRIPT_PATH" "$txtFilePath" "$TOOL_DIR"
# Clean up
echo "Cleaning up..."
rm -f "$txtFilePath"
rm -f "$TOOL_DIR/generated_file"/*.txt
|