印刷ビューの終了
各 dbxenv 変数は、ksh 変数としてもアクセス可能です。ksh 変数名は dbxenv 変数から派生され、DBX_ という接頭辞が付けられます。たとえば、dbxenv stack_verbose および echo $DBX_stack_verbose は同じ出力を生成します。変数の値は直接または dbxenv コマンドで割り当てることができます。