From ab7ee19e6f1a529f00e2ec3d0d6cd020db4d29bd Mon Sep 17 00:00:00 2001 From: "Dr. Denis" Date: Tue, 25 Jun 2024 12:56:37 +0100 Subject: [PATCH] Add functionality for finding and removing `core.*` files. (#214) --------- Co-authored-by: Manuel Muth --- scripts/_Team_Defines.bash | 25 +++++++++++++++++++++++++ 1 file changed, 25 insertions(+) diff --git a/scripts/_Team_Defines.bash b/scripts/_Team_Defines.bash index f07dc05f..3eeffc94 100644 --- a/scripts/_Team_Defines.bash +++ b/scripts/_Team_Defines.bash @@ -81,6 +81,31 @@ alias ros2_control_setup-controller-package=$RosTeamWS_FRAMEWORK_SCRIPTS_PATH/ro # setup auto-sourcing alias setup-auto-sourcing=$RosTeamWS_FRAMEWORK_SCRIPTS_PATH/setup_auto_sourcing.bash +# VCS Aliases and helpers +function rtw-ws-import () { + # TODO: if not argument use WS default path for this after #169 is merged + vcs import --debug -w 1 --input "$*" $ROS_WS/src +} + +# Temporary files cleaning +function rtw-find-and-remove-core-files () { + if [ -z "$1" ]; then + search_dir="${HOME}" + else + search_dir=$1 + fi + + find "${search_dir}" -type f -regex ".*core\.[0-9]+" + + user_decision "Do you want to delete those files?" user_answer + if [[ " ${positive_answers[*]} " =~ " ${user_answer} " ]]; then + find "${search_dir}" -type f -regex ".*core\.[0-9]+" -delete + notify_user "Files ARE deleted!" + else + notify_user "Files NOT deleted!" + fi +} + # Team General aliases and functions function generate_gif_from_video {