Skip to content
This repository was archived by the owner on May 29, 2025. It is now read-only.

Fix service id extraction #433

Merged
merged 1 commit into from
Feb 10, 2025
Merged

Fix service id extraction #433

merged 1 commit into from
Feb 10, 2025

Conversation

Adamantios
Copy link
Collaborator

The previous command would fail with specific inputs, e.g., 5T_T:

build_dir=abci_build_5T_T
echo ${build_dir##*_}
T

build_dir=abci_build_5T_T
echo ${build_dir#*build_}
5T_T

@Adamantios Adamantios added the fix label Feb 7, 2025
@Adamantios Adamantios changed the base branch from main to develop February 7, 2025 16:57
@Adamantios Adamantios merged commit c10e3db into develop Feb 10, 2025
@Adamantios Adamantios deleted the fix/suffix branch February 10, 2025 09:18
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers

@dagacha dagacha Awaiting requested review from dagacha

1 more reviewer

@annasambrook annasambrook annasambrook approved these changes

Reviewers whose approvals may not affect merge requirements
Assignees
No one assigned
Labels
fix
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@Adamantios @annasambrook