gitでpushしようとすると、remote repositoryの方が新しくて以下のようなエラーがでることがある。 > git push ... error: failed to push some refs to 'https://github.com/hhachiya/xxx' ヒント: Updates were rejected because a pushed branch tip is b…

rmfield('structure_name','field_name'): 構造体から、所定のフィールドを削除する関数。 https://jp.mathworks.com/help/matlab/ref/rmfield.html

1) 以下のサイトから、blenderのoffファイルをエクスポートするためのaddonがダウンロード https://github.com/alextsui05/blender-off-addon2)readmeを参考に、addonをインストール3)各オブジェクトの面を、三角形に変換 Object modeで、オブジェクトを選択…

画像の大文字の拡張子JPEGを小文字の拡張子jpegに変更したい。 for fname in *.JPEG; do mv $fname ${fname%.JPEG}.jpeg; done

git pullしたが、新しく追加されたbranchがpullされない問題があったので、調べて見たところ以下のサイトを発見。 blog.inouetakuya.info以下のコマンドで、新しいbranchをpullし切り替えることができた。 > git branch local_branch_name origin/server_bra…