Lines Matching refs:Then
416 Then we see the interface {\em mtu\/} (``maximal transfer unit''). This determines
777 Then the list of IP and IPv6 addresses follows, accompanied by
1023 Then the device name follows. The rest of the line describes the contents of
1136 \item If several routes remain after the previous steps, then
1139 \item If we still have several routes, then the {\em first\/} of them
1269 of the route and of the packet. If they are not equal, then the packet
1630 \verb|-o| option was given, then line feeds separating lines inside
1701 Then some optional attributes follow:
2233 by a colon. Then the selectors follow. Each key is prefixed
2321 Then the multicast address list follows. Each line starts with the
2466 packets in IPv4 packets and then sending them over the IP infrastructure.
2583 Then the tunnel mode follows. The parameters of the tunnel are listed
2624 the \verb|monitor| command is the first in the command line and then
3078 if [ "$1" != "" ]; then
3080 if [ "$1" != "$ipaddr" ]; then
3104 if [ "$dev" = "lo" ]; then
3105 if [ "$ipaddr" != "" -a "$ipaddr" != "127.0.0.1" ]; then
3116 if ! ip link set up dev $dev ; then
3127 if [ "$ipaddr" = "" ]; then
3141 if ! arping -q -c 2 -w 3 -D -I $dev $ipaddr ; then
3154 if ! ip address add $pfx brd + dev $dev; then
3179 if [ `ip link ls $dev | grep -c MULTICAST` -ge 1 ]; then
3194 if [ "$noarp" = "0" ]; then
3241 if [ -d $sbase ]; then
3267 if [ $class -eq 0 -o $class -ge 224 ]; then return 0
3268 elif [ $class -ge 192 ]; then return 24
3269 elif [ $class -ge 128 ]; then return 16
3284 if [ "$dev" = "" -o "$1" = "help" ]; then
3304 if [ "$ldev" != "$dev" ]; then
3309 if [ $fwd -eq 0 ]; then RestartRDISC; fi
3322 if [ "$1" != "" ]; then
3324 if [ "$1" != "$ipaddr" ]; then
3327 if [ "$ipaddr" = "" ]; then
3340 if [ "$peer" != "" ]; then
3341 if [ "$pfxlen" != "" -a "$pfxlen" != "32" ]; then
3347 if [ "$pfxlen" = "" ]; then
3353 if [ "$ldev" = "$dev" -a "$ipaddr" != "" ]; then
3361 if [ $deleting -ne 0 ]; then
3363 if [ $fwd -eq 0 ]; then RestartRDISC; fi
3373 if ! ip link set up dev $dev ; then
3377 if [ "$ipaddr" = "" ]; then exit 0; fi
3386 if ! arping -q -c 2 -w 3 -D -I $dev $ipaddr ; then
3397 if ! ip address add $pfx brd + dev $dev $label; then
3419 if [ `ip link ls $dev | grep -c MULTICAST` -ge 1 ]; then
3431 if [ $fwd -eq 0 ]; then
3432 if [ $noarp -eq 0 ]; then
3434 elif [ "$peer" != "" ]; then
3435 if ping -q -c 2 -w 4 $peer ; then
