tettekete37564のブックマーク - はてなブックマーク

tettekete37564 id:tettekete37564

ブックマーク / qiita.com/autotaker1984 (2)

Bash Scriptの作法 - Qiita
はじめにチーム開発でシェルスクリプト（特にBash Script)を書く際に守るべきルールをまとめます。シェルスクリプトのコードレビューをする際等にお役立てください。スクリプト名 -区切りの小文字英数字（いわゆるkebab-case）をつける。拡張子は.sh. これは特に理由があるわけではないので_区切りでもよいし、チーム内にzshやfish等の他Shell愛好家がいる場合は拡張子は.bashでも良い。どちらにせよチーム内では統一しておかないと混乱の元となる。改行コード LFを使用する。CRLFだと動作しないので書く際に間違うことはないが、Windows上のgitのautocrlf設定によってはご丁寧にCRLFでチェックアウトされてしまう。避けるためにはgit config --global core.autocrlf inputとするか、.gitattributesをレポジトリ
tettekete37564 2021/09/27
-x はデバッグ時だけにしないとウザくないか？ -u も環境変数参照するとき鬱陶しかった気が
リンク
形式手法はなぜ流行っていないのか - Qiita
はじめにみなさん形式手法をご存知でしょうか？名前くらいは聞いたことあるけどいまいち何かわからないという方が多いのではないでしょうか。その通りです。形式手法はアカデミアではそれなりに研究されているものの、一般の（特にWeb系）ソフトウェア開発者が携わることはなかなかないのではないかと思います。この記事ではソフトウェア開発に形式手法が導入されないのはなぜなのかを考察します。この記事ではアジャイルソフトウェア開発において形式手法を導入する際のハードルについて考察します。追記本記事について、「形式手法は流行っていない」というのは正確ではないのではないかという指摘をいただきました。組み込み系や社会インフラ系等バグを絶対に出せないシステム開発では形式手法がよく使われているそうです。ちょっと古いデータですが活用事例です。誤解を招く紹介となっていたことをお詫びします。さらに追記 ku
tettekete37564 2021/03/25
知らんけどフローチャートやUML図はまあまあ書くよ。若手にはバカにする連中もいるが、認識のすり合わせやカバレッジ洗い出すにはなんだかんだで重宝する
リンク
1