1度git pushされた後に.gitフォルダが存在するディレクトリをリモートリポジトリにpushするには、.gitフォルダを削除した後にgit rm –cached フォルダ名でキャッシュを削除した後にgit add .を実行するとリモートリポジトリにpushできるようになる
find_directories_rtc “test” | find_files_rtc “save_DOM-string.py” | xargs grep ‘print(“保存完了！ → “+html_file_name)’ | cut -d : -f1 | xargs sed -i ” ‘s/print(“保存完了！ → “+html_file_name)/print(“保存完了！ → “+repository+now+”.html”)/’のgrepコマンドのところを変更していなかったのでsedコマンドが実行するパスを取得できていなかった
TEXT=”$text” bash -c ‘echo “ZSH: $TEXT”‘やTEXT=”$text” zsh -c ‘echo “ZSH: $TEXT”‘と記述すると、bashやzshに変数を渡すことができる
sedで置換するためにエスケープされた文字列を作成しようとしていた時、zshでprintf “%q” “こんにちは”を実行すると「こんにちは」と表示されるが、bashで同じようにコマンドを実行すると2重エンコードされるのか意味のわからない文字列が出力される
