ulrich@p0:/opt/gupu/src/gprolog-code/src$ make install
./mkinstalldirs /opt/gupu/gprolog-1.4.4 /opt/gupu/gprolog-1.4.4/bin \
/opt/gupu/gprolog-1.4.4/include /opt/gupu/gprolog-1.4.4/lib
for i in README COPYING VERSION NEWS ChangeLog gprolog.ico; do /usr/bin/install -c -m 644 ../$i /opt/gupu/gprolog-1.4.4; done
for i in gplc hexgplc gprolog pl2wam wam2ma ma2asm fd2c; do /usr/bin/install -c */$i /opt/gupu/gprolog-1.4.4/bin; done
for i in top_level.o all_pl_bips.o debugger.o all_fd_bips.o; do /usr/bin/install -c -m 644 */$i /opt/gupu/gprolog-1.4.4/lib; done
for i in libengine_pl.a libbips_pl.a liblinedit.a libengine_fd.a libbips_fd.a; do /usr/bin/install -c -m 644 */$i /opt/gupu/gprolog-1.4.4/lib; done
for i in gprolog.h fd_to_c.h; do EnginePl/cpp_headers $i ./$i EnginePl EngineFD BipsPl BipsFD; /usr/bin/install -c -m 644 ./$i /opt/gupu/gprolog-1.4.4/include; rm -f $i; done
(cd /opt/gupu/gprolog-1.4.4/lib; for i in *.a; do ranlib $i; done)
if test /opt/gupu/gprolog-1.4.4/doc != none; then \
./mkinstalldirs /opt/gupu/gprolog-1.4.4/doc; \
(F=`cd ../doc; echo ???*.dvi ???*.ps ???*.pdf ???*.chm ???*.eps ???*.html ???*.gif`; \
for i in $F; do /usr/bin/install -c -m 644 ../doc/$i /opt/gupu/gprolog-1.4.4/doc; done); \
fi
/usr/bin/install: cannot stat `../doc/???*.dvi': No such file or directory
/usr/bin/install: cannot stat `../doc/???*.ps': No such file or directory
/usr/bin/install: cannot stat `../doc/???*.chm': No such file or directory
/usr/bin/install: cannot stat `../doc/???*.html': No such file or directory
if test /opt/gupu/gprolog-1.4.4/doc/html_node != none; then \
./mkinstalldirs /opt/gupu/gprolog-1.4.4/doc/html_node; \
(F=`cd ../doc/html_node; echo ???*.html ???*.gif ???*.css`; \
for i in $F; do /usr/bin/install -c -m 644 ../doc/html_node/$i /opt/gupu/gprolog-1.4.4/doc/html_node; done); \
fi
/usr/bin/install: cannot stat `../doc/html_node/???*.html': No such file or directory
/usr/bin/install: cannot stat `../doc/html_node/???*.gif': No such file or directory
/usr/bin/install: cannot stat `../doc/html_node/???*.css': No such file or directory
make: *** [install-html] Error 1
ulrich@p0:/opt/gupu/src/gprolog-code/src$ make doc
make: *** No rule to make target `doc'. Stop.
ulrich@p0:/opt/gupu/src/gprolog-code/src$
ulrich@p0:/opt/gupu/src/gprolog-code/src$ history
...
40 cd .gvfs/
41 ls
42 cd gphoto2\ mount\ on\ usb%3A001\,005/
43 ls
44 cd Pictures/
45 ls
46 cd Screenshots/
47 ls
48 scp -p Screenshot_2013-08-27-11-57-37.png a4:quando
49 scp -p Screenshot_2013-08-27-11-57-37.png a4:ftp/quando
50 ls -l
51 cd
52 cd .gvfs/
53 ls
54 cd gphoto2\ mount\ on\ usb%3A001\,006/
55 ls
56 cd Movies/
57 ls
58 cd ..
59 ls
60 cd Pictures/
61 ls
62 cd Screenshots/
63 ls
64 cat /dev/zero > z.png
65 cat /dev/zero > z2.png
66 ls -l z*.png
67 du
68 du -m
69 cp -p z2.png z4.png
70 sync
71 ls -l
72 mkdir zd
73 mv z.png z3.png z4.png z6.png zd
74 ls -l
75 sync
76 ls -l
77 /opt/gupu/eclipse-6.1_167/bin/x86_64_linux/eclipse
78 ssh -X a4
79 /opt/gupu/pl-devel/bin/swipl -f nonw
80 /opt/gupu/pl-devel/bin/swipl -f none
81 /opt/gupu/pl-devel/bin/swipl
82 cd /opt/gupu
83 ls|grep -i clipse
84 eclipse-6.1_105/bin/i386_linux/eclipse
85 cd eclipse-6.1_105/
86 ls
87 locate
88 locate |grep eclipse
89 locate .|grep -i eclipse
90 cd /tmp
91 ftp eclipse.org
92 ftp ftp.eclipse.org
93 mkdir 6.1_167
94 cd 6.1_167/
95 ls
96 wget http://eclipseclp.org/Distribution/6.1_167/common/README_UNIX
97 wget http://eclipseclp.org/Distribution/6.1_167/common/eclipse_doc.tgz
98 wget http://eclipseclp.org/Distribution/6.1_167/common/eclipse_misc.tgz
99 wget http://eclipseclp.org/Distribution/6.1_167/x86_64_linux/eclipse_basic.tgz
100 tar tfz eclipse_basic.tgz
101 mkdir /opt/gupu/eclipse-6.1_167
102 cd /opt/gupu/eclipse-6.1_167
103 tar xpfz /tmp/6.1_167/eclipse_basic.tgz
104 ./RUNME
105 /opt/gupu/eclipse-6.1_167/bin/x86_64_linux/eclipse
106 cd
107 cd iso-prolog/
108 /opt/gupu/eclipse-6.1_167/bin/x86_64_linux/eclipse
109 cd
110 du
111 du .??*
112 echo .??*
113 mount
114 cd .gvfs/
115 du
116 cd iso-prolog/
117 ssh mips
118 cd /opt/gupu/src/pl-devel
119 git pull
120 ./build
121 /opt/gupu/pl-devel/bin/swipl -f none
122 cd
123 cd iso-prolog/
124 cd dcgs
125 cp -p ~/Desktop/Jonathan/dcgsdin130526.pdf .
126 cp -p ~/Desktop/Jonathan/dcgsdin130820.pdf .
127 ls -ltra
128 make
129 cd ..
130 make
131 tar cf - dcgs/dcgsdin130820.pdf dcgs/dcgs_exp.pl dcgs/dcgs_exp.pl,v | ssh mips tar -C ftp/iso-prolog -xvf -
132 cd dcgs
133 /opt/gupu/pl-devel/bin/swipl -f none -s dcgs_exp.pl
134 cd iso-prolog/
135 ciao
136 ssh a4
137 ssh -X a4
138 cd
139 scp gphoto2://[usb:001,024]/Pictures/Screenshots/Screenshot_2013-09-12-23-59-31.png a4:ftp/quando
140 df
141 df -a
142 scp -p .gvfs/gphoto2\ mount\ on\ usb%3A001\,024/Pictures/Screenshots/Screenshot_2013-09-12-23-59-31.png a4:ftp/quando
143 ssh a4
144 cd iso-prolog/
145 /opt/gupu/pl-devel/bin/swipl -f none
146 cd
147 cd SO/
148 /opt/gupu/pl-devel/bin/swipl -f none -s infr.pl
149 /opt/gupu/sicstus3.12.5/bin/sicstus -f none
150 /opt/gupu/sicstus3.12.5/bin/sicstus -f
151 /opt/gupu/sicstus3.12.5/bin/sicstus -f --iso
152 cd
153 du
154 cd .gvfs/gphoto2\ mount\ on\ usb%3A001\,029/
155 ls
156 cd DCIM/
157 ls
158 cd Camera/
159 ls
160 ls -ltra
161 display 20130918_171506.jpg
162 mkdir ~/lftp/messages/2013/bp/
163 cp -p 20130918_171506.jpg ~/lftp/messages/2013/bp
164 cd ~/lftp/messages/2013/bp
165 ls
166 touch index.html
167 cd ../..
168 cd ..
169 make
170 tar cf - messages/2013/bp/20130918_171506.jpg | ssh mips tar -C ftp -xvf -
171 chmod +r messages/2013/bp/20130918_171506.jpg
172 ssh a4 chmod +r ftp/messages/2013/bp/20130918_171506.jpg
173 /opt/gupu/eclipse-6.1_167/bin/x86_64_linux/eclipse
174 /opt/gupu/eclipse-6.1_167/bin/x86_64_linux/eclipse -L iso_strict
175 /opt/gupu/eclipse-6.1_167/bin/x86_64_linux/eclipse -L iso
176 /opt/gupu/eclipse-6.1_167/bin/x86_64_linux/eclipse -L iso_strict
177 /opt/gupu/eclipse-6.1_167/bin/x86_64_linux/eclipse -L iso
178 /opt/gupu/eclipse-6.1_167/bin/x86_64_linux/eclipse -L iso_strict
179 /opt/gupu/eclipse-6.1_167/bin/x86_64_linux/eclipse
180 /opt/gupu/eclipse-6.1_167/bin/x86_64_linux/eclipse -L iso
181 /opt/gupu/eclipse-6.1_167/bin/x86_64_linux/eclipse -L iso_strict
182 ssh mips
183 cd /opt/gupu/src/pl-devel
184 git pull
185 ./build
186 git pull
187 /opt/gupu/pl-devel/bin/swipl -f none
188 git pull
189 ./build
190 git pull
191 ./build
192 git pull
193 ssh a4
194 virtualbox
195 cd
196 cd iso-prolog/
197 /opt/gupu/pl-devel/bin/swipl -f none
198 cd
199 cd /opt/gupu
200 wget http://www.probp.com/download/bp8_linux.tar.gz
201 ls
202 tar xvzf bp8_linux.tar.gz
203 BProlog/bp
204 mv BProlog BProlog-8.0_1
205 ls -l bp8_linux.tar.gz
206 ls --iso -l bp8_linux.tar.gz
207 man ls
208 ls -l --time-style=long-iso
209 ls -l --time-style=long-iso bp8_linux.tar.gz
210 /opt/gupu/BProlog-8.0_1/bp
211 echo "write_term(X,[variable_names(['X'=X])])."|/opt/gupu/BProlog-8.0_1/bp -l
212 /opt/gupu/BProlog-8.0_1/bp
213 cd /opt/gupu/src/pl-devel
214 git pull
215 git log
216 ./build
217 cd ..
218 ls
219 cd
220 cd iso-prolog/
221 /opt/gupu/sicstus3.12.5/bin/sicstus -f
222 /opt/gupu/eclipse-6.1_167/bin/x86_64_linux/eclipse
223 /opt/gupu/eclipse-6.1_167/bin/x86_64_linux/eclipse -L iso_stict
224 /opt/gupu/eclipse-6.1_167/bin/x86_64_linux/eclipse -L iso-stict
225 /opt/gupu/eclipse-6.1_167/bin/x86_64_linux/eclipse -L iso_strict
226 /opt/gupu/eclipse-6.1_167/bin/x86_64_linux/eclipse -L iso
227 cd
228 cd iso-prolog/dcgs
229 ls -ltra
230 export PATH=/opt/gupu/gprolog-1.4.4/bin:${PATH} ;
231 /opt/gupu/gprolog-1.4.4/bin/gprolog
232 ssh a4
233 ssh a8
234 ssh a9
235 ssh a4
236 ssh -X a4
237 cd iso-prolog/
238 /opt/gupu/sicstus3.12.5/bin/sicstus -f
239 /opt/gupu/sicstus3.12.5/bin/sicstus --iso -f
240 /opt/gupu/pl-devel/bin/swipl -f none
241 cd
242 cd iso-prolog/
243 /opt/gupu/pl-devel/bin/swipl -f none
244 cd
245 cd iso-prolog/
246 ssh a4
247 ssh -X a4
248 cd /opt/gupu/src/pl-devel
249 git pull
250 ./build
251 /opt/gupu/pl-devel/bin/swipl -f
252 /opt/gupu/pl-devel/bin/swipl -f none
253 cd
254 ssh a4
255 cd iso-prolog/
256 ssh mips
257 cd LVA
258 mkdir 2013w
259 cd 2013s/
260 ls
261 cp -p Anmeldung.tex ../2013w
262 cp -p anmeldung_gespr.tex ../2013w
263 ssh root@a9
264 ssh a9
265 ssh a9 -p 333
266 ssh -p 333
267 ssh -p 333 a9
268 ssh -p 333 ulrich@a9
269 ping p0
270 ssh root@a9
271 ssh root@a9
272 ssh s589@a9
273 ssh -X s589@a9
274 s
275 cd
276 cat lp.ps|ssh a4
277 cat lp.ps|ssh a4 lpr
278 cat lp.ps|ssh a4 lpr -Plpss
279 cat lp.ps|ssh a4 lpr -Pss
280 cat lp.ps|ssh a4 lpr -Pminss
281 ssh -X a4
282 ping a4
283 ssh -X a4
284 ssh -X a4 ssh s589@a9
285 ssh a4
286 cd
287 cd LVA
288 ls
289 ls -ltr */*.ps
290 cd
291 cd m
292 ls -ltra
293 cd
294 find -mtime -1
295 find -mtime -1|grep -v mozill
296 ssh a4
297 ssh a9
298 ssh a4
299 locate SPK
300 cd gupu/96/gupu-96/
301 ls
302 wc *.pl
303 ssh a4
304 ssh -X a4
305 ssh a4
306 cd
307 cd SO
308 /opt/gupu/pl-devel/bin/swipl -f none
309 ssh -X a4 ssh s589@a9
310 ssh a9
311 ssh a9 -p 888
312 ssh a9 -p 333
313 ssh root@a9
314 ssh a9 -p 333
315 ssh a9
316 ping p0
317 grep p0 /etc/hosts
318 ssh mips
319 cd
320 locate /bin/|grep box
321 virtualbox
322 cd iso-prolog/
323 wget http://www.jekejeke.ch/idatab/doclet/prod/docs/05_run/10_docu/02_reference/06_syntax/01_token/06_unicode.html
324 ls -l 06_uni*
325 mv 06_unicode.html 06_unicode-2013-10-16.html
326 wget http://www.jekejeke.ch/idatab/showlet/prod/docs/05_run/10_docu/02_reference/06_syntax/01_token/06_unicode.html
327 mv 06_unicode.html 06_unicode-2013-10-16.html
328 make
329 ls -l 06_unicode-2013-10-16.html
330 ls -ltra .???&
331 ls -ltra .???*
332 ls -ltrad .???*
333 ls -ltrad .??*
334 cat .htaccess
335 ssh a4
336 ssh -X a4
337 ssh
338 ssh -X ulrich@a9
339 ssh a4
340 /opt/gupu/pl-devel/bin/swipl -f none
341 ssh c8
342 /opt/gupu/pl-devel/swipl -f none
343 /opt/gupu/pl-devel/bin/swipl -f none
344 ssh -X a4 ssh a9 s589 gupu -enforced WXGAgnome
345 ssh -X a4 ssh s589@a9 gupu -enforced WXGAgnome
346 ssh root@g0
347 ssh -X root@g0
348 ssh -X root@g0.complang.tuwien.ac.at
349 ssh a4
350 ls -ltra
351 cat mozilla.ps | ssh a4 lpr
352 ssh root@g0
353 cd iso-prolog/
354 ls *.pdf
355 cp -p 13211-1-Prolog.pdf a4:
356 scp -p 13211-1-Prolog.pdf a4:
357 rm a4:
358 ciao
359 ssh a4
360 ssh root@g0
361 ssh fp2013@g0
362 ssh root@g0
363 /opt/gupu/sicstus3.12.5/bin/sicstus -f none
364 /opt/gupu/sicstus3.12.5/bin/sicstus -f
365 /opt/gupu/gprolog-1.4.4/bin/gprolog
366 /opt/gupu/gprolog-1.2.16/bin/gprolog
367 /opt/gupu/gprolog-1.3.2/bin/gprolog
368 /opt/gupu/gprolog-1.4.0/bin/gprolog
369 cd iso-prolog/
370 /opt/gupu/BProlog-8.0_1/bp
371 /opt/gupu/eclipse-6.1_105/bin/i386_linux/eclipse
372 minerva
373 ssh root@g0
374 cd lftp
375 ls
376 ls -ltra
377 cd tiss/
378 ls
379 display
380 display tiss-2013-10-28.png
381 cd ..
382 make
383 /opt/gupu/pl-devel/bin/swipl
384 /opt/gupu/pl-devel/bin/swipl -f none
385 swipl -f
386 swipl -f none
387 /opt/gupu/pl-devel/bin/swipl -f none
388 cd
389 cd iso-prolog/
390 /opt/gupu/yap-6.3/bin/yap
391 /opt/gupu/yap-6.3/bin/yap -f
392 which swipl
393 locate swipl
394 swipl
395 swipl -f none
396 cd /opt/gupu/src/pl-devel
397 git pull
398 ./build
399 make clean
400 ./build
401 klii %1
402 kill %1
403 git log
404 /opt/gupu/pl-devel/bin/swipl
405 /opt/gupu/pl-devel/bin/swipl -f
406 /opt/gupu/pl-devel/bin/swipl -f none
407 /opt/gupu/src/pl-devel/src/swipl -f none
408 make distclean
409 ./build
410 /opt/gupu/src/pl-devel/src/swipl -f none
411 git grep '[$]VAR[$]'
412 git grep dvard
413 touch nunc
414 ls -l nunc
415 date
416 ssh root@g0
417 ssh a4
418 ssh -X a4 ssh s589@a9
419 ssh -X a4 ssh s589@a9 gupu -enforced WXGAgnome
420 ssh root@g0
421 ssh root@g0.complang.tuwien.ac.at
422 ssh a4
423 ssh a4
424 cd iso-prolog
425 hugs
426 cd
427 cd iso-prolog/
428 scp a4:ftp/iso-prolog/IstanbulMinutes.txt .
429 cd /opt/gupu/src/pl-devel
430 git grep Neumerkel
431 /opt/gupu/pl-devel/bin/swipl -f none
432 ssh 4
433 ssh a4
434 ssh root@g0.complang.tuwien.ac.at
435 ssh root@g0.complang.tuwien.ac.at
436 ssh a4
437 ailx
438 mailx
439 ssh a4
440 cd m
441 scp a4:/var/mail/ulrich .
442 ls ulrich
443 ls -l ulrich
444 ssh a4
445 ssh a4~
446 ssh a4
447 cd iso-prolog/
448 GNU export PATH=/opt/gupu/gprolog-1.4.4/bin:${PATH} ; /opt/gupu/gprolog-1.4.4/bin/gprolog --consult-file ~/gnurc
449 echo $PATH
450 export PATH=/opt/gupu/gprolog-1.4.4/bin:${PATH}
451 /opt/gupu/gprolog-1.4.4/bin/gprolog
452 cd
453 cd SO
454 /opt/gupu/gprolog-1.4.4/bin/gprolog --consult-file remove.pl
455 pwd
456 /opt/gupu/pl-devel/bin/swipl -f none
457 ssh a9
458 ssh ulrich@a9
459 ssh a9
460 ssh ulrich@a9
461 ssh root@a9
462 ssh ulrich@a9
463 ssh root@a9
464 ssh -X a4 ssh s589@a9
465 ssh root@a8
466 ssh s580@a8
467 ssh s589@a8
468 ssh -X s589@a8
469 ssh -X s589@a9
470 ssh root@a8
471 ssh -X s589@a8
472 ssh a4
473 virtualbox
474 ssh a4
475 cd iso-prolog/
476 /opt/gupu/sicstus3.12.5/bin/sicstus --iso -f
477 /opt/gupu/gprolog-1.4.4/bin/gprolog
478 ciao
479 virtualbox
480 ssh a4
481 ssh a4
482 ssh -X g1
483 ssh -X g3
484 ssh -X root@g3
485 ssh -X root@g1
486 ls -ltr mozilla.ps
487 cat mozilla.ps | ssh a4 lpr
488 /opt/gupu/pl-devel/bin/swipl -f noew
489 /opt/gupu/pl-devel/bin/swipl -f none
490 hugs
491 ssh g0
492 ssh root@g0
493 ssh root@g0.complang.tuwien.ac.at
494 ssh a4
495 /opt/gupu/yap-6.3/bin/yap -f none
496 ssh a4
497 /opt/gupu/sicstus4.3.0beta1/bin/sicstus -f
498 ssh a4
499 top
500 cd /opt/gupu
501 ls
502 cd src
503 ls
504 wget http://gprolog.univ-paris1.fr/gprolog-1.4.4.tar.gz
505 ls -l gprolog-1.4.4*
506 ls -ld gprolog-1.4.4*
507 touch
508 touch nunc
509 git clone git://git.code.sf.net/p/gprolog/code gprolog-code
510 ls -l gprolog-code/
511 cd gprolog-code/
512 find -type f -newer ../nunc
513 ls
514 less ChangeLog
515 git pull
516 git log
517 ./configure --prefix=/opt/gupu --with-c-flags='-O3 -fomit-frame-pointer' && make
518 ls
519 cd src
520 ./configure --prefix=/opt/gupu --with-c-flags='-O3 -fomit-frame-pointer' && make
521 cd ..
522 less INSTALL
523 cd src
524 less ../INSTALL
525 autoconf configure.in
526 ./configure --prefix=/opt/gupu --with-c-flags='-O3 -fomit-frame-pointer' && make
527 autoconf
528 ./configure --prefix=/opt/gupu --with-c-flags='-O3 -fomit-frame-pointer' && make
529 make clean
530 top
531 make
532 history
533 git log
534 git pull
535 make
536 make install
537 make doc
538 history
ulrich@p0:/opt/gupu/src/gprolog-code/src$