curl
でダウンロードしたいURLとそのタイトルをまとめたファイルをホームディレクトリにurls.txt
として保存してあります。
そこから(もしくは与えられた引数から)ダウンロードする下記のシェルスクリプトそのものは機能するのですが、できれば自分のアカウント名の入った-/Users/solzard/
の部分を"${HOME}
などで置き換えたいです。
"${1:"${HOME}"/urls.txt}"
や"${1:'${HOME}'/urls.txt}"
では上手くいきませんでした。
どうすれば良いでしょうか?
zsh
1#!/usr/bin/env zsh 2while read -r title url; do 3 curl -L --output "$title" "$url" 4 printf "\n" 5done <"${1:-/Users/solzard/urls.txt}" # -/Users/solzard を汎用的にHOMEにしたい
回答1件
あなたの回答
tips
プレビュー
バッドをするには、ログインかつ
こちらの条件を満たす必要があります。