#!/bin/tcsh 
        
# 
# Um script para arrancar a rede 
# 
        
#  set pcbit_path=/usr/src/isdn4k-utils-2.0/pcbit 
set BIN_PATH=/sbin 
        
# para quem nao o usa o modprobe 
insmod slhc 
insmod ppp 
insmod isdn 
insmod pcbit 
        
modprobe pcbit irq=10 mem=0xD0000 
# alterar o irq e o mem para os valores certos 
        
modprobe pcbit 
modprobe ppp 
        
# carregar o firmware da placa 
# ATENCAO!!! Devido a "bug" e necessario que nao se 
# tenha carregado o firmware antes (tipo no DOS) se tal 
# for o caso e' necesario um HARD RESET (desligar e ligar) 
#( cd $pcbit_path ; pcbitctl -l bitd.hex) 
pcbitctl -l bitd.hex     

exit  
# configurar o modulo 
$BIN_PATH/isdnctrl addif ippp0 
$BIN_PATH/isdnctrl addif ippp1 
$BIN_PATH/isdnctrl l2_prot ippp0 hdlc 
$BIN_PATH/isdnctrl l3_prot ippp0 trans 
        
$BIN_PATH/isdnctrl encap ippp0 syncppp 
        
# FCUL Tel: 0800201536 
# IST     Tel: 0800201537 
$BIN_PATH/isdnctrl addphone ippp0 out 0800200558 
        
# colocar o endereco IP 
# FCUL Gateway : 194.117.23.1 
# IST     Gateway: 193.136.154.1 
ifconfig ippp0 193.137.203.75 pointopoint 193.137.203.126 metric 1 
       
route add default ippp0 
        
#selecionar o TIMEOUT 
$BIN_PATH/isdnctrl huptimeout ippp0 10 
ifconfig ippp0 up 
        
$BIN_PATH/ipppd /dev/ippp0 /dev/ippp1 mru 1524 -ac -vj +ua /etc/ppp/isdn-auth 
        
# ok 
        
exit 
