| 176 |
install_web: |
install_web: |
| 177 |
ssh cduce@iris.ens.fr "cp ~frisch/IMPLEM/CDUCE/webiface.opt cgi-bin/cduce; chmod +s cgi-bin/cduce" |
ssh cduce@iris.ens.fr "cp ~frisch/IMPLEM/CDUCE/webiface.opt cgi-bin/cduce; chmod +s cgi-bin/cduce" |
| 178 |
install_web_local: |
install_web_local: |
| 179 |
ssh root@localhost "cp ~beppe/IMPLEM/CDUCE/webiface.opt /var/www/cgi-bin/cduce; cp ~beppe/IMPLEM/CDUCE/web/*.php /var/www/html/; chmod +s /var/www/cgi-bin/cduce;" |
ssh root@localhost "cp -f ~beppe/IMPLEM/CDUCE/webiface.opt /var/www/cgi-bin/cduce; cp -f ~beppe/IMPLEM/CDUCE/web/*.php /var/www/html/; chmod +s /var/www/cgi-bin/cduce;" |
| 180 |
|
|
| 181 |
build_website: |
build_website: |
| 182 |
rsh cedre ". .env; cd IMPLEM/CDUCE; make web/files" |
rsh cedre ". .env; cd IMPLEM/CDUCE; make web/files" |