Lines Matching refs:Then
381 Then we see the interface {\em mtu\/} (``maximal transfer unit''). This determines
742 Then the list of IP and IPv6 addresses follows, accompanied by
988 Then the device name follows. The rest of the line describes the contents of
1101 \item If several routes remain after the previous steps, then
1104 \item If we still have several routes, then the {\em first\/} of them
1234 of the route and of the packet. If they are not equal, then the packet
1584 \verb|-o| option was given, then line feeds separating lines inside
1655 Then some optional attributes follow:
2187 by a colon. Then the selectors follow. Each key is prefixed
2239 Then the multicast address list follows. Each line starts with the
2384 packets in IPv4 packets and then sending them over the IP infrastructure.
2501 Then the tunnel mode follows. The parameters of the tunnel are listed
2542 the \verb|monitor| command is the first in the command line and then
2994 if [ "$1" != "" ]; then
2996 if [ "$1" != "$ipaddr" ]; then
3020 if [ "$dev" = "lo" ]; then
3021 if [ "$ipaddr" != "" -a "$ipaddr" != "127.0.0.1" ]; then
3032 if ! ip link set up dev $dev ; then
3043 if [ "$ipaddr" = "" ]; then
3057 if ! arping -q -c 2 -w 3 -D -I $dev $ipaddr ; then
3070 if ! ip address add $pfx brd + dev $dev; then
3095 if [ `ip link ls $dev | grep -c MULTICAST` -ge 1 ]; then
3110 if [ "$noarp" = "0" ]; then
3157 if [ -d $sbase ]; then
3183 if [ $class -eq 0 -o $class -ge 224 ]; then return 0
3184 elif [ $class -ge 192 ]; then return 24
3185 elif [ $class -ge 128 ]; then return 16
3200 if [ "$dev" = "" -o "$1" = "help" ]; then
3220 if [ "$ldev" != "$dev" ]; then
3225 if [ $fwd -eq 0 ]; then RestartRDISC; fi
3238 if [ "$1" != "" ]; then
3240 if [ "$1" != "$ipaddr" ]; then
3243 if [ "$ipaddr" = "" ]; then
3256 if [ "$peer" != "" ]; then
3257 if [ "$pfxlen" != "" -a "$pfxlen" != "32" ]; then
3263 if [ "$pfxlen" = "" ]; then
3269 if [ "$ldev" = "$dev" -a "$ipaddr" != "" ]; then
3277 if [ $deleting -ne 0 ]; then
3279 if [ $fwd -eq 0 ]; then RestartRDISC; fi
3289 if ! ip link set up dev $dev ; then
3293 if [ "$ipaddr" = "" ]; then exit 0; fi
3302 if ! arping -q -c 2 -w 3 -D -I $dev $ipaddr ; then
3313 if ! ip address add $pfx brd + dev $dev $label; then
3335 if [ `ip link ls $dev | grep -c MULTICAST` -ge 1 ]; then
3347 if [ $fwd -eq 0 ]; then
3348 if [ $noarp -eq 0 ]; then
3350 elif [ "$peer" != "" ]; then
3351 if ping -q -c 2 -w 4 $peer ; then
