|
Warning: this is a htmlized version!
The original is across this link. |
#######
#
# E-scripts on dealing with e-mail.
#
# Note 1: use the eev command (defined in eev.el) and the
# ee alias (in my .zshrc) to execute parts of this file.
# Executing this file as a whole makes no sense.
#
# Note 2: be VERY careful and make sure you understand what
# you're doing.
#
# Note 3: If you use a shell other than zsh things like |&
# and the for loops may not work.
#
# Note 4: I always run as root.
#
# Note 5: some parts are too old and don't work anymore. Some
# never worked.
#
# Note 6: the definitions for the find-xxxfile commands are on my
# .emacs.
#
# Note 7: if you see a strange command check my .zshrc -- it may
# be defined there as a function or an alias.
#
# Note 8: the sections without dates are always older than the
# sections with dates.
#
# This file is at <http://angg.twu.net/a/e/mail.e>
# or at <http://angg.twu.net/e/mail.e.html>.
# See also <http://angg.twu.net/emacs.html>,
# <http://angg.twu.net/a/.emacs[.html]>,
# <http://angg.twu.net/a/.zshrc[.html]>,
# <http://angg.twu.net/escripts.html>,
# and <http://angg.twu.net/>.
#
#######
######
#
# procmail
#
######
# «procmail»
pdsc /big/slinks2/dists/slink/main/source/mail/procmail_3.10.7-7.dsc
apti procmail
# (find-vldifile "procmail.list")
# (find-fline "/usr/doc/procmail/")
# (find-fline "/usr/doc/procmail/examples/")
# (find-fline "/usr/doc/procmail/examples/1procmailrc")
# Pushing my old mail archives through procmail
echo -n "foo\nbar\n" \
| expect -c 'while {![eof stdin]} {puts ".[gets stdin]."}'
echo -n 'foo' | expect -c 'foreach i {1 2 3 4} {puts [gets stdin li]}'
echo 'foo' | expect -c 'foreach i {1 2 3 4} {puts [gets stdin li]}'
chmod 600 $MAIL
cat $MAIL |
expect -c '
proc writefile {fname bigstr} {
set channel [open $fname w]
puts -nonewline $channel $bigstr
close $channel
}
# set lines [split [read stdin] "\n"]
set msg {}
while {[gets stdin line]!=-1} {
if [regexp "^From " $line] {
puts $line
if {$msg!=""} {
writefile /tmp/msg $msg
exec procmail < /tmp/msg
set msg {}
}
}
append msg "$line\n"
}
if {$msg!=""} {
writefile /tmp/msg $msg
exec procmail < /tmp/msg
set msg {}
}
'
#####
#
# Trying to make smail .forward to procmail
# 99oct21
#
#####
# (find-fline "/usr/doc/procmail/")
# (find-fline "/usr/doc/procmail/QuickStart" ".forward")
# It seems that smail doesn't like this .forward!!!
rm ~/.forward
cat > ~/.forward <<'---'
"|exec /usr/bin/procmail"
---
date | mail -s 'Teste' root
# (find-fline "/usr/src/smail-3.2.0.102/src/direct.c" "security violation")
# (find-fline "~edrx/.forward")
# (find-fline "~edrx/.procmailrc")
######
#
# other mailreaders
#
######
apti mutt
# (find-vldifile "mutt.list")
# (find-fline "/usr/doc/mutt/")
# (find-fline "/usr/doc/mutt/examples/")
lynx /usr/doc/mutt/html/manual.html
cd /usr/doc/mutt/
zcat manual.txt.gz | less
apti nmh
# (find-vldifile "nmh.list")
# (find-fline "/usr/doc/nmh/")
# (find-node "(mh-e-e20)Tour Through mh-e")
M-x mh-version
M-x install-mh
#######
#
# metamail
#
#######
# Cuidado, ele se embola com 0xFFs
metamail -r < mich > mich.u
######
#
# mhonarc
#
######
apti mhonarc
# (find-vldifile "mhonarc.list")
# (find-fline "/usr/doc/mhonarc/")
# (find-fline "/usr/lib/mhonarc/")
# (find-fline "/usr/bin/mhonarc")
lynx /usr/doc/mhonarc/mhonarc.html
edrxnetscape /usr/doc/mhonarc/mhonarc.html
rm -Rv /tmp/mho
mkdir /tmp/mho
cd /tmp/mho
mhonarc ~/Mail/debian-dev
cp $MAIL .mail
mhonarc .mail
ls
lynx threads.html
grep '^From ' $MAIL
grep '^From ' $MAIL | sort
######
#
# lists-archives
#
######
pdsc $SDEBIAN/dists/potato/main/source/web/lists-archives_19980617-1.dsc
cd /usr/src/lists-archives-19980617/
debian/rules binary |& tee odrb
# (find-fline "/usr/src/lists-archives-19980617/")
#####
#
# HyperMail
#
#####
apt-get install hypermail
# (find-fline "/usr/doc/hypermail/")
# (find-vldifile "hypermail.list")
lynx /usr/doc/hypermail/html/hypermail.html
# (find-fline "/usr/doc/hypermail/readme.gz" "browser")
######
#
# smartlist
#
######
apt-get install smartlist
# (find-fline "/usr/doc/smartlist/")
# (find-vldifile "smartlist.list")
# (find-fline "/var/list/.bin/")
cd /var/list/.bin/
./createlist
./createlist lakhesis |& tee ~/o2
# (find-fline "/etc/aliases")
# lakhesis: "|/var/list/.bin/flist lakhesis"
# lakhesis-request: "|/var/list/.bin/flist lakhesis-request"
strace-to ~/s newaliases
# (find-fline "/var/list/lakhesis/")
# (eeman "newaliases")
# (eeman "mkaliases")
# (find-fline "/usr/sbin/mkaliases")
mailas edrx lakhesis-request -s 'subscribe edrx' <<'---'
subscribe edrx
---
mailas edrx lakhesis-request@angg -s 'Re: CONFIRM s05030132451029' <<'---'
hahahayhe
---
function lakhrmail () { echo $2 | mailas $1 lakhesis-request -s $2 }
function lakhmail () { echo $2 | mailas $1 lakhesis -s $2 }
lakhmail edrx :::1
lakhrmail alex 'subscribe lakhesis'
lakhrmail alex 'Re: CONFIRM s050302344713'
lakhrmail alex 'CONFIRM s050302193812'
mailas alex lakhesis-request -s 'subscribe alex' <<'---'
subscribe alex
---
mailas edrx -- lakhesis-request@angg -s 'Re: CONFIRM s05030132451029' <<'---'
hahahayhe
---
function lakhmail
update-alternatives --auto expect
# (eeman "update-alternatives")
cd /big/deb20/debian/main/binary-i386/mail/
for i in *; do echo "\n\n\n---> $i\n"; dpkg -I $i; done
# (find-vldifile "tkmail.list")
# (find-vldifile "tkrat.list")
# (find-vldifile "mew.list")
# (find-fline "/usr/doc/tkmail/")
# (find-fline "/usr/doc/tkrat/")
# (find-fline "/usr/doc/HOWTO/Mail-HOWTO.gz")
# (find-fline "/usr/doc/mew/")
dpkg --purge mew im
cd ~/HASH/
dpkg -i mew im |& tee ~/o
# (find-fline "~/o")
# (find-fline "/var/lib/dpkg/info/mew.list")
# (find-fline "/var/lib/dpkg/info/im.list")
# (find-node "(mew)Top")
# (find-fline "/usr/doc/mew/")
mailto -s 'fuubar' edrx < ~/mich.u2
mailto -s 'fübÒr' edrx < ~/mich.u2
mailto -s 'fuubar' edrx@mat.puc-rio.br < ~/mich.u2
#####
#
# Itatiaia
#
#####
{\bf Resumo.} Tome uma derivação em dedução natural no fragmento
$\setof{\land, \to}$ da lógica intuicionista. Pelo isomorfismo de
Curry-Howard ela pode ser vista como um termo de $Š$-cálculo tipado
construído usando a aplicação, a abstração, a formação de pares e as
projeções. Se algumas das funções que aparecem como constantes nesse
termo forem funções deriváveis podemos querer introduzir um operador
``derivada''; vamos mostrar dois modos como isso pode ser feito, e
também vamos introduzir um operador que corresponde a uma aplicação do
teorema da função inversa, e usá-lo para obter dois corolários do
teorema da função inversa: o teorema da função implícita e o da forma
local das imersões.
Para tornar o funcionamento desses dois operadores mais claro nós
vamos mostrar como interpretá-los em termos de infinitesimais; vamos
usar para isso um modelo de análise não-standard construído com
filtros ao invés de ultrafiltros. A lógica de um modelo desses é
booleana mas tem mais de dois valores de verdade; apesar disso os
infinitesimais nesses modelos têm uma interpretação clara como
seqüências, e certas provas usando infinitesimais têm uma tradução
quase automática para provas standard usando limites e continuidade.
Uma árvore de dedução num sistema desses pode ser interpretada como
dizendo que ``se eu sei a série de Taylor de ... até ordem ... e a de
... até ordem ... então eu sei a de ... até ordem ...''.
% (fooi "ç" "{\\c c}" "ã" "\\~a" "õ" "\\~o"
"á" "\\'a" "é" "\\'e" "í" "{\\'\\i}" "ó" "\\'o"
"ü" "\\\"u" "ê" "\\^e")
mail -s 'Edrx: Abstract' hermann@inf.puc-rio.br <<'----'
Hare Hermann. Aqui vai um resumo do que eu gostaria de apresentar em
Itatiaia. Eu cheguei a fazer duas paginas de algo muito mais detalhado
mas nao ia dar pra terminar dentro do prazo; vou supor que os textos
nao-resumidos so' precisam ser entregues (por quem quiser entregar,
que e' o meu caso) ate' uma data bem posterior.
Semi-P.S.: acabei de marcar a data da minha defesa. Vai ser no dia 29
de abril (sexta), `as 14:00hs, se todos os membros da banca toparem
esse dia e essa hora. So' dois ainda nao confirmaram: voce e o Luiz
Carlos. :-)
P.Semi-P.S.: eu nunca vi nenhum anuncio do encontro de Itatiaia. Se
existir um mail oficial o anunciando voce pode mandar uma copia pra
mim?
Obrigados,
Edrx.
% Eduardo Nahum Ochs
% Departamento de Matem\'atica -- PUC-Rio
% edrx@mat.puc-rio.br
% 286-9903
{\bf Resumo.} Tome uma deriva{\c c}\~ao em dedu{\c c}\~ao natural no
fragmento $\{\land, \to\}$ da l\'ogica intuicionista. Pelo isomorfismo
de Curry-Howard ela pode ser vista como um termo de
$\lambda$-c\'alculo tipado constru{\'\i}do usando a aplica{\c c}\~ao,
a abstra{\c c}\~ao, a forma{\c c}\~ao de pares e as proje{\c c}\~oes.
Se algumas das fun{\c c}\~oes que aparecem como constantes nesse termo
forem fun{\c c}\~oes deriv\'aveis podemos querer introduzir um
operador ``derivada''; vamos mostrar dois modos como isso pode ser
feito, e tamb\'em vamos introduzir um operador que corresponde a uma
aplica{\c c}\~ao do teorema da fun{\c c}\~ao inversa, e us\'a-lo para
obter dois corol\'arios do teorema da fun{\c c}\~ao inversa: o teorema
da fun{\c c}\~ao impl{\'\i}cita e o da forma local das imers\~oes.
Para tornar o funcionamento desses dois operadores mais claro n\'os
vamos mostrar como interpret\'a-los em termos de infinitesimais; vamos
usar para isso um modelo de an\'alise n\~ao-standard constru{\'\i}do
com filtros ao inv\'es de ultrafiltros. A l\'ogica de um modelo desses
\'e booleana mas tem mais de dois valores de verdade; apesar disso os
infinitesimais nesses modelos t\^em uma interpreta{\c c}\~ao clara
como seq\"u\^encias, e certas provas usando infinitesimais t\^em uma
tradu{\c c}\~ao quase autom\'atica para provas standard usando limites
e continuidade.
Uma \'arvore de dedu{\c c}\~ao num sistema desses pode ser
interpretada como dizendo que ``se eu sei a s\'erie de Taylor de ...
at\'e ordem ... e a de ... at\'e ordem ... ent\~ao eu sei a de ...
at\'e ordem ...''.
----
mail majordomo@gedanken.demon.co.uk <<'---'
unsubscribe wwwoffle-users edrx@inx.com.br
---
mail wget-help@sunsite.auc.dk <<'---'
help
unsubscribe
---
mail wget-unsubscribe@sunsite.auc.dk <<'---'
unsubscribe edrx@inx.com.br
---
mail wget-uc.923805713.pplmieckfgncfjmbaeim-edrx=inx.com.br@sunsite.auc.dk <<'---'
unsubscribe edrx@inx.com.br
---
# (find-fline "/usr/doc/tcs/")
# (find-fline "$HAI/Packages")
# (find-vldifile "tcs.list")
# (find-vldifile "metamail.list")
# (find-vldifile "mm.list")
(
cat <<'---'
From: root
To: edrx
Mime-Version: 1.0
Content-Type: text/plain; charset="ISO-8859-1"
Content-Transfer-Encoding: quoted-printable
Subject: Hello
---
cat ~/PERSONAL/99feb07 \
| tcs -f ps2 -t latin1 \
| mimencode -q
) | sendmail -bm -t
mail MDaemon@ChaosSolutions.com <<'---'
subscribe GForth
---
mail MDaemon@ChaosSolutions.com <<'---'
subscribe BigForth
---
mail MDaemon@ChaosSolutions.com <<'---'
subscribe Minos
---
# (find-fline "$MAIL")
Subject: AUTH-SUB ltHMZuLX6N2chdTk56PO4etOxt7imsaS
Subject: AUTH-SUB m67UkufNoNrUkuiy2NHdodaP0J3X3g==
Subject: AUTH-SUB odHTj+aR2dnimLDb3duT1uKNkdHn
mail -s 'Re: AUTH-SUB ltHMZuLX6N2chdTk56PO4etOxt7imsaS' MDaemon@ChaosSolutions.com <<'---'
---
mail -s 'Re: AUTH-SUB m67UkufNoNrUkuiy2NHdodaP0J3X3g==' MDaemon@ChaosSolutions.com <<'---'
---
mail -s 'Re: AUTH-SUB odHTj+aR2dnimLDb3duT1uKNkdHn' MDaemon@ChaosSolutions.com <<'---'
---
mail -s 'TeX e arvores' luiz@inf.puc-rio.br <<'---'
Eu tentei te ligar pra dar as informacoes mas nao te encontrei, voce
nao ligou de volta e eu nao quis ficar pentelhando... Seguinte:
descobri que eu nao uso o pacote do Paul Taylor e sim o do Makoto
Tatsuta, que eu peguei do CTAN (Comprehensive TeX Archive ???) e
modifiquei um pouco pra cada arvore ser retornada como uma vbox. O
endereco do pacote original e'
<CTAN>/macros/latex/contrib/other/proof/proof.sty
e o meu esta' em ftp://mat.puc-rio.br/pub/users/edrx/1999Apr18-src.tgz,
como proof.edrx.sty. Um exemplo de como usar: pra gerar as arvores que
aparecem na pagina 10 da minha tese, que sao aproximadamente isso aqui
(que alias e' exatamente o input pro programa que gera o codigo em TeX
pras arvores),
----\bot ---- -
b \bot b \bot 1 1
-------/\ ------- ----
a b/\\bot a b/\\bot 1 2
------------\to ------------ -------
a->(b/\\bot) a->(b/\\bot) 3
^formacao-com ^formacao-sem ^formacao-alt
o codigo em TeX e'
\defded{formacao-com}{
\infer[\to]{ \mathstrut a\to (b\land \bot) }{
a &
\infer[\land ]{ \mathstrut b\land \bot }{
b &
\infer[\bot]{ \mathstrut \bot }{} } }
}
\defded{formacao-sem}{
\infer{ \mathstrut a\to (b\land \bot) }{
a &
\infer{ \mathstrut b\land \bot }{
b &
\infer{ \mathstrut \bot }{} } }
}
onde os mathstruts sao so' pra deixar o espacamento vertical um pouco
mais regular, e os \defded{nome da deducao}{codigo} sao como \def's,
so' que com alguns truques que nao interessam agora.
O programa que gera o codigo em TeX roda em dos/windows tambem, me
avisa se voce quiser que eu ponha ele pra funcionar pra voce e pro
Hermann.
Ah, parece que o pacote do Paul Taylor tem um feature que o que eu uso
nao tem: no do Paul Taylor da' pra regular o espaco entre cada dois
caras acima de uma barra individualmente, e com isso da' pra fazer com
que certas arvores fiquem muito mais compactas. Mas eu nao garanto, eu
nao sei usar esse feature e na verdade tambem nunca consegui usar o do
Paul Taylor direito.
Um abraco,
Eduardo.
Qualquer coisa pode me telefonar: 286-9903/286-3160. Telefone e'
mais rapido que e-mail.
---
# (find-bffile "menu.str")
cd $S/http/
wget -r -nc -l 1 http://www.jwdt.com/~paysan/bigforth.html -A htm,html,gif,jpg,bz2 -k
sendmail -
decimal
hex
mail -s 'Re: using shared libs' GForth@ChaosSolutions.com <<'---'
> From: Ivan Tihonov <ivan>
>
> If someone mail to me how to use Linux shared-libs with GForth,
> i'll write info page for this topic. :)
Hi Ivan,
here's some ugly code that links to libtcl8.0.so and invokes the tcl
interpreter on a string. It works for me, but I would love to see a
prettier version of it...
\ s0" is like s" , but places a \0 after the string and works only
\ in interpretation mode.
: s0" ( "ccc<quote>" -- c-addr )
[char] " parse ( c-addr u )
2dup s"-buffer swap cmove ( c-addr u )
s"-buffer over + 0 swap c! ( c-addr u )
2drop s"-buffer ;
: strlen ( c-addr -- len ) dup &1024 0 scan drop swap - ;
s" libtcl8.0.so" open-lib dup . constant libtcl
s" Tcl_CreateInterp" libtcl lib-sym dup . constant &Tcl_CreateInterp
s" Tcl_Eval" libtcl lib-sym dup . constant &Tcl_Eval
&Tcl_CreateInterp icall0 dup . constant &interp
&interp s0" expr 22+3" &Tcl_Eval icall2 dup . drop
cr &interp @ dup strlen type
\ The last line should output "25".
More hints later.
[], Edrx
edrx@inx.com.br
edrx@mat.puc-rio.br
http://www.mat.puc-rio.br/~edrx/
---
\ (find-gffile "kernel/basics.fs" ": scan")
\ (find-fline "~/TCL/tclev.c")
email -s 'help edrx@inx.com.br' zsh-workers-help@sunsite.auc.dk <<'---'
help edrx@inx.com.br
---
function emailh () {
echo 'help edrx@inx.com.br' \
| email -s 'help edrx@inx.com.br' $1
}
emailh zsh-workers-info@sunsite.auc.dk
emailh zsh-workers-faq@sunsite.auc.dk
echo '' | email zsh-workers-index.1000_1099@sunsite.auc.dk
echo '' | email zsh-workers-index.0_99@sunsite.auc.dk
echo '' | email zsh-workers-get.0_99@sunsite.auc.dk
echo '' | email zsh-workers-get.1000_1099@sunsite.auc.dk
email -s 'subscribe edrx@inx.com.br' latte-request@zanshin.com <<'---'
subscribe edrx@inx.com.br
---
email -s 'unevaluated parameters, etc' latte@zanshin.com <<'---'
Hi... I started to use latte a few days ago and I catched a bug (or
sort of) and thought of some suggestions.
Here's the bug: the following code produces "yes/yes/no/yes", and thus
the built-in \empty? does not behave exactly like {\def {\equal? \g}
{\equal? 0 {\length \g}}}, like the documentation says it should.
{\def {\yn \bool} {\if \bool yes no}}
{\def \s0 {\concat}}
{\yn {\equal? 0 {\length \s0}}}
{\yn {\equal? 0 {\length {}}}}
{\yn {\empty? \s0}}
{\yn {\empty? {}}}
Here are the ideas:
1) I think it would be convienient to make the empty group behave like
the empty string in many (or most) circumstances; that would make
latte a bit more Tcl-ish than it already is. For example, {\concat a
{} b} gives "Bad type in argument 2 in call to string-append" --
giving "ab" would be more natural.
2) It would be nice to have a (documented!) built-in to dump the value
of a variable to stdout or stderr (using the "render" method on a
Latte_Obj?), or at least it should be clearer how to make that happen
within a gdb session... what about making a nice .gdbinit file
available for developers, even if it is very messy at first?
3) This suggestion is a bit longer. Let me start with some motivation:
suppose that we want to code lists of items with subitems as
{\list {head text}
{item 1}
{item 2}
{\list {item 3 has subitems:}
{item 3.1}
{item 3.2}
}
}
and we want the outer heads of lists to be formatted with \head0, the
heads nested one level deep with \head1, the heads nested two levels
deep with \head2, etc. As things are now this is impossible or very
difficult to do (am I missing something?), because the second "{\list
...}" is entirely evaluated before knowing that it comes inside other
"{\list ...}"; this would be trivial if the first "{\list ...}" could
get its arguments unevaluated, and that could be made with only two
extensions:
* \lambda should accept two more kinds of parameters besides \xx,
\=xx and \&xx: \!xx, say, for an unevaluated parameter and \!&xx,
say, for an "unevaluated rest parameter". We could forbid lists of
parameters containing both positional and unevaluated parameters
until things get clearer.
* implement "\eval" as a built-in.
Well, that's it for the moment. Latte is **really great**, I'm
rewriting my home page with it and I will upload it in a few days...
[]-[]-[],
Eduardo Ochs
edrx@inx.com.br
(Oops, almost forgot to say: I'm using latte-1.1 on an i386 with a
fairly standard Debian 2.1 Gnu/Linux distribution.)
---
"ç" "{\\c c}" "ã" "\\~a" "õ" "\\~o"
"á" "\\'a" "é" "\\'e" "í" "{\\'\\i}" "ó" "\\'o"
"ü" "\\\"u" "ê" "\\^e")
% (fooi "á " "a' " "é " "e' " "í " "i' " "ê " "e^ " "ó " "o' ")
% (fooi "ç" "c" "ã" "a" "õ" "o"
"á" "a" "é" "e" "í" "i" "ó" "o"
"ü" "u" "â" "a" "ê" "e")
email -s 'Partindo arquivos' ctellez@mat.puc-rio.br <<'%%%'
Hare ctellez!
1) Quanto a partir arquivos, o tar nao faz isso sozinho; eu uso essas
duas funcoes aqui, que moram ate' no meu .zshrc:
# Exemplo:
# spl $SDEBIAN/ls-lR 2000 00 01 02
# produz ls-lR00.gz, ls-lR01.gz e ls-lR02.gz no diretorio corrente.
# Se esses forem todos os pedacos, desgzipando-os e concatenando-os
# a gente reobtem o arquivo original.
#
function spl () {
FILE=$1
BLOCKS=$2
shift 2
for PARTN in $*; do
dd if=$FILE skip=$[$BLOCKS * $PARTN] count=$BLOCKS \
| gzip -c9 > $(basename $FILE)$PARTN.gz
done
}
function splzip () {
FILE=$1
BLOCKS=$2
shift 2
for PARTN in $*; do
dd if=$FILE skip=$[$BLOCKS * $PARTN] count=$BLOCKS > $PARTN
zip $PARTN.zip $PARTN
done
echo "copy /b ${(j:+:)*} $(basename $FILE)\r" > gruda.bat
}
o "${(j:+:)*}" no splzip deve ser uma particularidade do zsh, mas
imagino que o spl rode quase sem modificacoes no bash ou no tcsh, sei
la' o que voce usa. O numero de blocos em cada pedaco (2000 no
exemplo) se refere a blocos de 512 bytes. Eu costumo tgzipar tudo o
que eu quero transportar num arquivo so' e depois rodar o spl nele; eu
tenho ate' outras funcoes pra isso, mas acho que nao interessam agora.
2) Quanto ao xplore, eu dei uma olhada no site e confesso que nao
simpatizei nada. Eu ando com uma posicao meio parecida com a do
Stallman: se existe bom software livre que faz o que a gente quer, a
gente precisa de mais gente usando e desenvolvendo o software livre
ate' que ele se torne significativamente melhor que o comercial.
Aqui vao as descricoezinhas de alguns pacotes que tem na Debian (na
versao 2.1, a estavel, e que e' a que eu uso):
<...suppressed: r-base, r-cran, r-pdl, xlispstat, xldlas, pspp>
E esse pacote aqui e' da secao "non-free", o que quer dizer que ele
acaba nao sendo distribuivel nos CDs standard, mas pode ser ate' que a
fonte dele seja downloadavel:
<...suppressed: xgobi>
Eu dei uma olhada no site do "Comprehensive R Archive Network",
<http://www.ci.tuwien.ac.at/R/>, e achei super promissor. Tomara que
voce tambem ache... eu vou comecar a fazer uns testes com o R aqui em
casa pra ver se arranjo mais argumento pra te convencer. E a proposta
de voce vir ver o R (ou o xlispstat, ou outro desses pacotes que para
mim seriam faceis de instalar) aqui em casa continua de pe'!
E quando voce quiser uma resposta rapida para alguma coisa, me
telefone! 286-9903/286-3160.
Um abraco,
Edrx
%%%
To: crocco@mat.puc-rio.br
Subject: Re: Copia
As sugestoes que me ocorrem sao as seguintes:
1) Reservar o livro na biblioteca.
2) Tirar copia com o Orlando, no 8o andar, ao inves de nas casinhas.
O Orlando e' muito cuidadoso. (A aparente cara de sono dele nao
quer dizer nada a esse respeito).
3) Tentar copiar o livro do Impa. Essa e' a mais trabalhosa.
4) Ver se o Paul nao prefere usar um livro mais resistente, por
exemplo o Spivak (volume I). Nao sei por que, mas acho que essa
sugestao e' meio delirante. Mas vai ser engracado se funcionar.
Um abraco,
Edrx.
#####
#
# ITP: mktclapp
#
#####
mail -s 'Intent to package: mktclapp' debian-devel@lists.debian.org <<'---'
Intent to package: mktclapp
I'm finishing the packaging of mktclapp-3.7 and will be uploading it
to the sponsorship page in a few days (it's my first package). There
are notes and partial results accessible from
<http://www.mat.puc-rio.br/~edrx/debian.html>, if someone is
interested.
I don't have a potato system and can only compile it on slink, is
there any problem?
Description: a tool for mixing C/C++ with Tcl/Tk
Mktclapp is a utility that helps you mix C/C++ with Tcl/Tk to make a
standalone executable.
.
Mktclapp was written by the same author of ET, and it has the same
goals of ET but it is simpler and has a much cleaner interface. Its
author encourages all ET users to transition to using mktclapp as soon
as possible.
[],
Eduardo Ochs
edrx@mat.puc-rio.br
http://www.mat.puc-rio.br/~edrx/
---
####
#
# 99nov27
#
####
mail -s 'Newbie question on Forth->Tcl' minotaur@mini.net <<'--%%--'
Hi... I started to play with Minotaur a few days ago, and still
haven't figured out how to make Forth send back a string to Tcl.
Help, anyone?
I'm using it on a Debian/GNU system (i386 Linux). The script I'm using
to compile Minotaur (with support for only Forth and Tcl) is this:
rm -Rv /usr/src/ts2/
cd /usr/src/
tar -xvzf $S/http/mini.net/pub/ts2-19990704.tar.gz
cd /usr/src/ts2/
# find * -type f | sort > .files
cd /usr/src/ts2/forth/gnuc/
make -f ../gnuc/Makefile pforth |& tee omp
make -f ../gnuc/Makefile dict |& tee omd
cd /usr/src/ts2/forTcl/gnuc/
./configure --with-tcl=/usr/lib |& tee oc
sed 's/gluetcl.o/pfcustom.o common.o/' < Makefile > Makefile-
# diff Makefile{,-}
cd /usr/src/ts2/forTcl/gnuc/
make -f Makefile- |& tee om
cd /usr/src/ts2/forTcl/gnuc/
expect -c '
load ./forTcl.so
forTcl::init
puts [forTcl::eval {123 456 +}]
puts [forTcl::eval {123 456 + .}]
'
The use of sed to modify a makefile is certainly an ugly hack...
What should I do instead?
Thanks in advance,
Eduardo Ochs
edrx@inx.com.br
--%%--
# «mauricio_99nov27»
mail -s 'conexao com a internet' mauricg@novanet.com.br <<'--%%--'
Mauricio: o scriptzinho em expect abaixo (voce pode por a parte entre
''s num arquivo so', encabecado por #!/usr/bin/expect) faz a parte
mais chata do processo de conexao com o seu provedor (eu tirei a
senha, claro).
expect -c '
spawn minicom
interact {
"~d" {send atd//5148970\r}
"~u" {send mauricg\r}
"~p" {send senha\r}
-o ogin: {send mauricg\r}
sword: {send senha\r}
orion4> {send ppp\r}
eof {return}
}
puts "minicom done"
'
Os outros pedacos sao feitos por trechos da bagunca abaixo, que eu
marco e executo individualmente (com eev no emacs) mas que podem
entrar num script. Me ligue se tiver alguma duvida ou algum
comentario, mas espero que esses bloquinhos de codigo te inspirem a
tentar conectar o seu Linux na internet.
cat > /etc/resolv.conf <<EOF
search .
nameserver 200.255.172.129
nameserver 200.255.172.130
EOF
# strace -o ~/s \
/usr/sbin/pppd -d -detach < /dev/ttyS2 > /dev/ttyS2 115200 &
/usr/sbin/pppd -d -detach /dev/ttyS2 115200 &
# /sbin/route add default gw 200.255.172.129
/sbin/route add default gw 200.255.172.139
[],
Edrx.
--%%--
mail -s 'GForth' gilbertofsilva@zipmail.com.br <<'---'
Oi, Gilberto! Se voce preferir fazer perguntas em portugues sobre o
GForth pode fazer pra mim... Eu tenho o GForth 0.4.0 rodando na minha
maquina (Debian Linux 2.1) e tudo funciona, incluse o Emacs reconhece
o gforth.el. Eu so' usei o GForth durante algumas semanas, ate'
desistir porque o modelo interno era complicado demais (ele virava
direct threaded ou indirect threaded de acordo com algumas opcoes de
compilacao, por exemplo) e eu acabei mudando para o PForth
(http://www.softsynth.com/pforth/), que e' bem menos poderoso mas
muito mais facil de entender... mas, bom, de qualquer modo eu acho que
me lembro de bastante coisa sobre o GForth.
Se quiser fazer perguntas basicas, nao tem o menor grilo!
[],
Edrx
edrx@inx.com.br
---
mail -s 'Debian: coq/camlp4/etc' fsanchez@retemail.es <<'---'
Hi Fernando,
I'd be interested in using your packages, especially coq and
coq-doc. If you need someone to do some (very simple) testing on them,
please mail me and tell me how to get a pre-version. I'm not a Debian
developer yet, but I have a package almost finished: I've been stuck
for some time on writing its manpages, and then came the exams at my
university... well, anyway, I hope I can be useful, because I'd really
like to play with coq!
[],
Edrx
edrx@inx.com.br
P.S.: You can write me in spanish if you prefer...
---
mail -s 'Coq' fsanchez@retemail.es <<'---'
> > I'd be interested in using your packages, especially coq and
> > coq-doc. If you need someone to do some (very simple) testing on them,
> > please mail me and tell me how to get a pre-version. I'm not a Debian
>
> The package is... oh, in spanish :-)
>
> El paquete ya esta hecho, solo queda que el mantenedor del paquete Debian de
> OCaml saque la version 2.03 (el que hice yo cuenta con que ocaml y camlp4
> estan instalados en /usr/local/, a falta de paquete oficial) y mandare el
> mio al Incoming.
>
> Si tienes ocaml 2.03 te puedo dejar el paquete en un ftp en cuanto quieras;
> yo no tengo practicamente ni idea de que cosas probar con Coq para ver si
> todo funciona bien, asi que seria de ayuda que lo probaras si puede ser.
Ok, I have a working ocaml-2.02 from potato (recompiled on Slink) and
I think I can upgrade it to 2.03 (or even 2.04) from the upstream
distibution without too much pain. I'll fetch your package as soon as
you tell me where to get it... :-)
Cheers,
Edrx
edrx@inx.com.br
---
mail -s 'Re: File GFORTH.EL' GForth@chaossolutions.com <<'---'
On Sun, 28 Nov 1999, Gilberto Silva wrote:
> I was trying to compile archive GFORTH.EL with the proper GFORTH.EXE.
> For that I understood, I go to also need editor EMAC. I use operational
> system OS/2. Exists some version of the EMAC for OS/2?
Hmm.
http://www.gnu.org/software/emacs/
http://www.emacs.org/
http://www.lerner.co.il/emacs/faq-body.shtml
-> ftp://hobbes.nmsu.edu/pub/os2/apps/editors/emacs/v19.33/
Check it and see if it is really what you want. :-)
I don't think you'll need gforth.el if you're not an Emacs addict,
but it would be better to let you discover this yourself. :-)))
Waiting for more questions,
[],
Edrx
---