sv: Saving Default Flag Settings

$next$ $up$ $previous$ $contents$
Next: help Up: Flag Settings Previous: satp: Timing Contents

`sv`: Saving Default Flag Settings

$\begin{displaymath} \mbox{{\tt sv${<}xx{>}$d}} \end{displaymath}$

SaVe the setting for flag $xx \in \{\mbox{{\tt ci}},\mbox{{\tt es}},\mbox{{\tt ir}},\mbox{{\tt ma}},\mbox{{\tt rp}},\mbox{{\tt tp}}\}$ as default into the defaults file in the current directory.

Harald Ganzinger 2002-12-04

Imprint | Data Protection