From 50f25337c239b6d852c0200fc7db72ef3f3e489a Mon Sep 17 00:00:00 2001 From: Alessandro Iezzi Date: Thu, 30 Nov 2023 09:57:00 +0100 Subject: Add bp.sh script Used to put breakpoints. --- bp.sh | 27 +++++++++++++++++++++++++++ 1 file changed, 27 insertions(+) create mode 100755 bp.sh (limited to 'bp.sh') diff --git a/bp.sh b/bp.sh new file mode 100755 index 0000000..70d0078 --- /dev/null +++ b/bp.sh @@ -0,0 +1,27 @@ +#!/bin/sh + +DIR=$(dirname `realpath $0`) + +. $DIR/acme.inc + +fn_exec_cmd_tag "Edit =" +WIN_ERR_ID=$(9p read acme/index | awk '{print $6" "$1}' | grep -E '^\+Errors' | awk '{print $2}') + +file=$(9p read acme/$WIN_ERR_ID/body | tail -1) +extension=$(echo $file | sed -E 's/.*\.(.*):[0-9]*$/\1/g') + +if [ $extension = 'java' ]; then + CUR_DIR=`pwd` + START_DIR=$CUR_DIR + while [ $CUR_DIR != '/' ] && [ ! -f pom.xml ]; do + cd .. + CUR_DIR=$(pwd) + done + dir_name=${CUR_DIR##*/} + + BREAKPOINT=$(echo $file | sed -E "s|.*$dir_name/src/.*/java/(.*)\.java|\1|g" | tr '/' '.') + echo 'stop at '$BREAKPOINT + echo 'stop at '$BREAKPOINT >> jdb.lines + + cd $START_DIR +fi -- cgit v1.2.3