Я считаю, что самый простой способ вырезать отдельный символ из строки с помощью bash:
echo ${COMPANY_NAME:: -1}
, но я не смог встроить фрагмент grep в фигурные скобки, поэтому ваша конкретная задачастановится двухстрочным:
COMPANY_NAME=$(grep "company_name" file.txt); COMPANY_NAME=${COMPANY_NAME:: -1}
Это лишит любого символа, точки с запятой или нет, но может также избавиться от точки с запятой.Чтобы удалить ВСЕ точки с запятой, где бы они ни находились:
echo ${COMPANY_NAME/;/}
Чтобы удалить только точку с запятой в конце:
echo ${COMPANY_NAME%;}
Или, чтобы удалить несколько точек с запятой с конца:
echo ${COMPANY_NAME%%;}
Для получения более подробной информации и подробностей об этом подходе проект документации Linux охватывает большую часть вопросов http://tldp.org/LDP/abs/html/string-manipulation.html