Поскольку иногда мне нужно выполнить отладку с помощью dead.letter, я использую:
Makefile .. .
mail:
mailx -vs $(a) -a $(a) email@web.com; \
rm dead.letter
Командная строка ...
make mail a=file.txt
подробный вывод избавляет от необходимости нажимать ENTER после; dead.letter удаляется или автоматически завершается с ошибкой; никакие другие параметры, похоже, не работают (например, -i -e ...)
Общая проблема заключается в том, что github обычно обслуживает html-страницу, которая включает указанный файл вместе с контекстом и операциями, которые вы можете с ним выполнять, а не указанный необработанный файл. Такие инструменты, как wget и curl, будут просто сохранять то, что им дает веб-сервер, поэтому вам нужно найти способ попросить веб-сервер, github, отправить вам необработанный файл, а не оболочку html. Это верно независимо от того, используете ли вы -или -O или >>. Адрес "...//raw.git..." в этом конкретном тестовом примере, вероятно, обслуживает необработанные файлы и предварительно -решает проблему ОП, как опубликовано, поэтому все эти ответы работают, но не не решить более общую проблему. Я могу загрузить текстовый файл или его версию в формате html -со следующих URL-адресов. Обратите внимание на различия между ними и не стесняйтесь вставлять их в новую вкладку или новое окно браузера.
html -завернутый, по умолчанию:
https://github.com/raspberrypi/linux/blob/rpi-4.9.y/arch/arm/configs/bcmrpi_defconfig
необработанная ссылка, если щелкнуть правой кнопкой мыши -кнопку [raw] на html-странице:
https://github.com/raspberrypi/linux/raw/rpi-4.9.y/arch/arm/configs/bcmrpi_defconfig
конечный URL после перенаправления:
https://raw.githubusercontent.com/raspberrypi/linux/rpi-4.9.y/arch/arm/configs/bcmrpi_defconfig
Затем вы можете загрузить с помощью:
wget https://raw.githubusercontent.com/raspberrypi/linux/rpi-4.9.y/arch/arm/configs/bcmrpi_defconfig
curl https://raw.githubusercontent.com/raspberrypi/linux/rpi-4.9.y/arch/arm/configs/bcmrpi_defconfig -o bcmrpi_defconfig
Самый простой способ — перейти на страницу github с нужным контентом и -щелкнуть правой кнопкой мыши, чтобы получить [необработанные] ссылки для каждого файла. Если ваши потребности более сложны, требуют много файлов и т. д., вы можете отказаться от wget и curl и просто использовать git. Вероятно, это более подходящий инструмент для извлечения данных из репозиториев git.
Загрузите и сохраните файл, используя wget -O myfile.extension url
e, g:
wget -O myfile.txt https://raw.githubusercontent.com/raspberrypi/linux/rpi-3.2.27/arch/arm/configs/bcmrpi_defconfig