172 похожих чатов

Допустим, есть какая-то программа, делающая примерно это. Допустим, прогресс-бар какой-то.

И есть sed, обрабатывающий его вывод:
for i in `seq 5`; do
echo -n "$i"
sleep 2
echo -en '\r'
done | sed -E 's/./X/'

Как мне их подружить? Сейчас sed дожидается '\n' и только после этого печатает что-либо, а я бы хотел, чтобы он печатал текст, не дожидаясь новой строки. Например, чтобы флашил его на каждый'\r', чтобы я видел динамические изменения в прогресс-баре

1 ответов

6 просмотров
Ofee-Oficsu Автор вопроса

Универсальный враппер над sed, который учит его работать над динамическим инпутом... dyn_sed() { tru() { stdbuf -o0 tr "$@"; } clr() { sed -ue "s,$,$(tput el),"; } tee > >( tru '\r' '\n' \ | sed -u "$@" \ | clr \ | tru '\n' '\r' tput el ) >( sed -z "$@" ) } Тест: { for i in `seq 5`; do echo -n "$i"; sleep 0.5 echo -en '\r' done echo hello echo hello 123 echo test echo hello world 123 } | dyn_sed -E 's/3|hello/world/g'

Похожие вопросы

Обсуждают сегодня

я не магистр хаскеля, но разве не может лейзи тип конвертнуться в не-лейзи запросив вычисление содержимого прям при инициализации?
deadgnom32 λ madao
100
в сях есть множество как в питоне? для удаление дубликатов
Linus
25
читать файл максимально быстро? странный вопрос))
zamtmn
53
How to create an OS in C? what to study?
Linus
18
тоесть, указав return eax, сгенерируется никому ненужная инструкция mov eax,eax ?
Aiwan \ (•◡•) / _bot
24
а как бы вылезти из ИО, что то типа IO -> Ether или в какую сторону смотреть ? что то туплю
Fedor
9
Всем доброго вечера! Хочу поделиться своим злоключением с человеком, который, как оказалось сюда тоже скидывал свое резюме. Жаль, что я вашу группу не нашел раньше… человек ки...
Роман Ахмедзянов
4
а зачем этот вопрос для удаления из чата?
Mёdkinson Medvezhkin
63
Компания Elif ищет менеджера проектов, который будет заниматься поиском и ведением новых проектов. Прежде чем приступить к работе, вам нужно пройти наш недельный курс, где вы ...
Elif
5
Привет, кто может сделать юзербота с апи? Задачи: - создавать группы - создавать каналы - задавать для созданных каналов аватарку или эмоджи, имя группы - добавлять в группы...
Lencore
11
Карта сайта