FANDOM


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

".gdbinit" ファイルを作る

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


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

@see Canned Sequences of Commands

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

define dp
 
  display $arg0
 
end

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

広告ブロッカーが検出されました。


広告収入で運営されている無料サイトWikiaでは、このたび広告ブロッカーをご利用の方向けの変更が加わりました。

広告ブロッカーが改変されている場合、Wikiaにアクセスしていただくことができなくなっています。カスタム広告ブロッカーを解除してご利用ください。

FANDOMでも見てみる

おまかせWiki