-
Notifications
You must be signed in to change notification settings - Fork 19
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Add functionality for finding and removing core.*
files.
#214
Conversation
core.*
files.
scripts/_Team_Defines.bash
Outdated
|
||
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][0-9][0-9][0-9][0-9][0-9]" -delete |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
same as befor:
find "${search_dir}" -type f -regex ".*core\.[0-9]+"
core files can have more or less then 6 digits. If you want to have with a minimum number min_number then
find "${search_dir}" -type f -regex ".*core\.[0-9]\{min_number,\}"
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
The pattern with [0-9]\{number\}
didn't work for me. Does this work for you? If yes please do a suggestion so I can just add it to PR.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
works both for me if you don't want to supply max then i would prefer the first one. this is more understandable in my opition.
Co-authored-by: Manuel Muth <mamueluth@gmail.com>
Co-authored-by: Manuel Muth <mamueluth@gmail.com>
No description provided.