Выполнено описанным ниже способом с использованием комбинации sed и awk
команда
k=`awk '{print NR}' file2| sed -n '$p'`
for ((i=1;i<=$k;i++)); do j=`awk -v i="$i" 'NR==i{print $0}' file2`; sed -n "/$j/,/+++/p" file1; done
output
for ((i=1;i<=$k;i++)); do j=`awk -v i="$i" 'NR==i{print $0}' file2`; sed -n "/$j/,/+++/p" file1; done
article 1 title
article 1 body line 1
article 1 body line 2
+++
article 3 title
article 3 body line 1
article 3 body line 2
+++
article 4 title
article 4 body line 1
article 4 body line 2
article 4 body line 3
Я считаю, что Docker не настроен для работы с вашим обычным пользователем.
Попробуйте запустить curl с помощью sudo:
sudo curl -s https://laravel.build/example-app | bash
Если работает, проблема с правами доступа. Если вы хотите запустить докер под своим обычным пользователем, добавьте его в группу докеров:
sudo usermod -aG docker your_user
Вероятно, после этого вам потребуется перезагрузить компьютер.