揮発性のメモ２

知識をメモ書きしておく

システムトイレ用猫砂

book

4リットル×4袋＝16リットル で 3,780円。 1リットル当たり約236円
2.5リットル×6袋＝15リットル で 3,479円。 1リットル当たり約232円
僅差で2.5リットルの方が安い。さらに、100円オフクーポンとかあると、安い方に適用した方がより安くなる



AdLintで静的解析

C

結論から言うと、AdLintで静的解析してもあんまり意味なかった。

  • インストールも使い方もそこそこ簡単
  • 出てくるメッセージも読みやすい
  • mallocのfree忘れ、openのclose忘れなどは検知しない
  • gccでWarningレベルガン上げにした方がずっと役立つ
  • そもそも AdLint の開発がもう止まっている

インストール

AdLint - Browse /adlint/3.2.14 at SourceForge.net
sourceforgeからtar.gzをダウンロードし、適当なところに展開し adlint/bin にパスを通す。

解析準備

解析したいソースをフォルダごとどこかに用意する
フォルダ内で次のコマンドを実行

adlintize

GNUmakefile と、adlint_* というファイルが生成される。


このうち、 adlint_traits.yml というファイルにインクルードパスを書くところがあり
これに書かないと /use/include すら検知してくれないので適当に書く

compiler_traits:

  initial_header: "adlint_cinit.h"
  # Compiler specific include paths.
  # Ex.
  #   file_search_paths:
  #     - "/usr/include"
  #     - "/usr/local/include"
  file_search_paths:
        - "/usr/include"         # ★これとか
        - "/usr/include/linux"   # ★これとか

解析

make verbose-all


AdLintを使ってみる - moiの頭の中
AdLint / List adlint-user-ja Archives
AdLint 3.2.14 利用者ガイド
Adlint のMacintoshへの導入 - researchmap

自分用bashrc

Linux

~/myrc

# ~/myrc として保存し、
# ~/.bash_profile の最後に . myrc を足す

# パスを通す
export PATH=$PATH:~/bin

# sudo で vi使う
export EDITOR=vi

# less で 色付きエスケープ有効
export LESS='-R'
# less で 日本語読む
[ -z "$LESSCHARSET" ] && export LESSCHARSET=utf-8

# プロンプトを2行にしてカラフルにする
export PS1='\[\e]0;\w\a\]\n\[\e[32m\]\u@$HOSTNAME \[\e[33m\]\w\[\e[0m\]\n$ '

# ウィンドウのタイトルバーに 実行中コマンド表示
# cf. https://iww.hateblo.jp/entry/20160325/BASH_COMMAND
trap 'echo -ne "\e]0;$BASH_COMMAND\a"' DEBUG

# Ctrl+S を無効化する
stty stop undef

# history
export HISTCONTROL=ignoreboth:erasedups
export HISTSIZE=2000
export HISTFILESIZE=40000
export HISTTIMEFORMAT='%m/%d %T '

# tree で 日本語表示、罫線文字化け回避
alias tree="tree --charset=C -N"

# 標準エラー出力を赤くするマクロ
# cf. http://serverfault.com/questions/59262/bash-print-stderr-in-red-color
color() { set -o pipefail; "$@" 2>&1>&3|sed $'s,.*,\e[31m&\e[m,'>&2; } 3>&1

# cd で 履歴を絶対パスに置き換える
# cf. http://inaz2.hatenablog.com/entry/2014/12/11/015125
cd() {
    command cd "$@"
    local s=$?
    if [[ ($s -eq 0) && (${#FUNCNAME[*]} -eq 1) ]]; then
        history -s cd $(printf "%q" "$PWD")
    fi
    return $s
}

昔は.bashrcで読んでたけど、ログイン時のみ必要なので.bash_profileで読むように変更した。

sSMTPの設定

Linux 
#
# Config file for sSMTP sendmail
#
# The person who gets all mail for userids < 1000
# Make this empty to disable rewriting.
root=postmaster

# メールサーバのIPアドレスかホスト名。ポート番号もつけれる
mailhub=example.com:587
# ログインIDとパスワード（認証ありのとき）
AuthUser=hogehoge
AuthPass=piyopiyo
# TLSを使うならYES。 デフォルトはNO
#UseTLS=YES

# Where will the mail seem to come from?
#rewriteDomain=

# The full hostname
# FromLineOverrideがNoのときのホスト名
hostname=example.com

# Fromに好きなメールアドレスを書けるようにするかの設定
# Yesのとき、メールヘッダ部分に書いた From が有効になる
# No（デフォルト）だと、コマンドを実行したアカウント名とホスト名で書き換えられる
FromLineOverride=YES

LVMのディスクのサイズを変更する

ディスクを継ぎ足して /home を大きくするやつ

/homeをアンマウント

umount /home

追加した別ディスクにパーティションを作成する

fdiskとかでファイルシステムを Linux LVM (8E) にする

PV作成

pvcreate /dev/sdb1

VG追加

VolGroup00にさっきのPV(/dev/sdb1)を追加する

vgextend VolGroup00 /dev/sdb1

LV拡張

/home（だいたいVolGroup00-lv_homeになってる）を目いっぱい拡張する

lvextend -l +100%FREE /dev/mapper/VolGroup00-lv_home

ファイルシステム拡張

# fsckしないと怒られる
fsck -f /dev/mapper/VolGroup00-lv_home
resize2fs -p /dev/mapper/VolGroup00-lv_home

OCRで読み込んだ電話番号とかを綺麗に整形する 計算器

JavaScript




続きを読む