FANDOM


gdbの設定ファイルの作り方編集

".gdbinit" ファイルを作る

作ったらこのリンクにあるやつを貼り付けたりすればgdbの設定をすることができる。作る場所はホームディレクトリ(~/ または/home/username/)の下につくる。


新しいコマンドを定義編集

@see Canned Sequences of Commands

$arg0~$arg9などを使って引数を取ることができる。

define dp
 
  display $arg0
 
end

これで面倒なdisplayの入力も軽減される。