初心者のWEBデザイン

HTML,CSS、その他WEBデザインに関する事を記述していきます.

2019-02-12から1日間の記事一覧

bash grep 拡張子の指定・除外

特定の拡張子のみ対象にする # 複数指定 grep -r "^<\!DOCTYPE html>" --include='*.html' --include='*.php' 特定の拡張子を除外する # 複数指定 grep -r "cat" --exclude='*.class' --exclude='*.js' 便利なオプション i:検索文字列の大文字小文字を区別…