Re: [9fans] Fossil disk usage over 100%?

2013-05-31 Thread James Chapman
i
On 31 May 2013 11:36, David du Colombier 0in...@gmail.com wrote:

  main: df
  main: 557,539,328 used + 35,184,325,517,312 free = 510,967,808
  (109.1% used)
 
  I thought the large number was my disk space including venti. Looking
  more closely, I certainly don't have 35 terabytes hiding anywhere.

 The large number simply come from total - used
 when used  total.

 What is important here is that fl-nused increased
 more than it decreased and exceed the total number
 of blocks.

 --
 David du Colombier




Re: [9fans] Fossil disk usage over 100%?

2013-05-31 Thread James Chapman
Z
On 31 May 2013 11:36, David du Colombier 0in...@gmail.com wrote:

  main: df
  main: 557,539,328 used + 35,184,325,517,312 free = 510,967,808
  (109.1% used)
 
  I thought the large number was my disk space including venti. Looking
  more closely, I certainly don't have 35 terabytes hiding anywhere.

 The large number simply come from total - used
 when used  total.

 What is important here is that fl-nused increased
 more than it decreased and exceed the total number
 of blocks.

 --
 David du Colombier




Re: [9fans] Virtualbox and real mode

2013-02-25 Thread James Chapman

On Feb 24, 2013, at 2:20 PM, Rikard Lang rikard.l...@gmail.com wrote:
 24 feb 2013 kl. 12:48 skrev James Chapman ja...@cs.ioc.ee:
 Virtualbox 4.1.24 works well for me.
 
 I have Virtualbox 4.2.6 What settings if any did you use for the virtual 
 machine?

I downgraded to  4.1.24 as 4.2.6 (or possibly some other 4.2.x) didn't work for 
me.

I think the only thing that I had to change was:

To choose network adapter: Intel PRO/1000 MT Server, it works with bridged/nat 
I think.

James




Re: [9fans] Virtualbox and real mode

2013-02-24 Thread James Chapman
Virtualbox 4.1.24 works well for me.


On Feb 24, 2013, at 12:48 PM, Rikard Lang rikard.l...@gmail.com wrote:

 My first post to 9fans; Hi!
 
 I am currently running 9Front on real hardware (mini-itx board with an Atom 
 CPU), I also run 9Front using Virtualbox. I have had issues getting regular 
 Plan 9 to install using Virtualbox. I know it wasn't a problem in the past. 
 Anyway, as I was walking through some sites related to this I found this post:
 
 I had a look at Plan 9 and I can only say that their idea of real mode is 
 miles away from Intel's. Plan 9 crashes because it calls BIOS with an 
 environment that only vaguely resembles real mode in that CR0.PE is 0, but 
 segment limits and attributes are totally all over the place. For example 
 they leave the 'B' bit for the stack segment set, which causes rather 
 interesting behavior of instructions that manipulate the stack. That then 
 triggers an extremely obscure bug in VirtualBox which probably affects no 
 other OS on the planet.
 
 The Plan 9 folks should probably re-read chapter 9.9.2 (Switching Back to 
 Real-Address Mode) of the Intel 64/IA-32 SDM (Volume 3) and implement their 
 mode switching code the way Intel says they should. This is their code in 
 sys/src/9/pcboot/realmode0.s.
 
 The post is located at: 
 https://forums.virtualbox.org/viewtopic.php?f=4t=52431
 
 It was one of very few posts that contained any technical information 
 whatsoever. Most posts I come across just say that the installation hangs. I 
 do not know if the above is of any help or even useful in any way, but I 
 thought I'd post it here, since it might help.
 
 -- 
 Rikard Lang
 
 
 




Re: [9fans] trying to populate arm tree

2013-01-28 Thread James Chapman

On Jan 28, 2013, at 4:53 PM, Federico G. Benavento benave...@gmail.com 
wrote:

 I fixed openssl, I'll push it when sources is back up again, just
 remove the error
 from opensslconf.h.
 
 python needs a mkfile rework.
 
 Dec  6 07:52:28 ART 2012
 /n/dump/2013/0128/sys/include/ape/openssl/opensslconf.h 6308 [fgb]
 87,88d86
  #else
  #error unknown objtype
 Jan 22 09:27:24 ART 2008
 /n/dump/2012/1206/sys/include/ape/openssl/opensslconf.h 6337 [fgb]

I removed the two lines above from /sys/include/ape/openssl/opensslconf.h

It gets further but fails here:

/sys/src/ape/lib/openssl/apps/openssl.c:364[stdin:85783] no return at end of 
function: main



Re: [9fans] trying to populate arm tree

2013-01-28 Thread James Chapman
On Jan 28, 2013, at 6:47 PM, Federico G. Benavento benave...@gmail.com wrote:
 It gets further but fails here:
 /sys/src/ape/lib/openssl/apps/openssl.c:364[stdin:85783] no return at end of 
 function: main
 add -B to CFLAGS in apps/mkfile

Thanks, that did it.

I then had to create a directory /arm/bin/contrib to get contrib/gui to install.

Then python failed so I added it to BUGGERED IN /sys/src/cmd/mkfile. (I haven't 
tried your changes yet).

Then I got some permission denied errors in /mail/lib trying to overwrite files 
owned by upas (and group upas), so I added upas to BUGGERED too.

and with that the build finished!

Many thanks,

James


Re: [9fans] acid on linux; easiest-to-set-up virtual machine

2013-01-25 Thread James Chapman
I have had recent sucess with VirtualBox 4.1.24. The current version
of VirtualBox (4.2.6) didn't work for me.

You can get older version of virtualbox from here:

https://www.virtualbox.org/wiki/Download_Old_Builds

James

On Fri, Jan 25, 2013 at 8:18 PM,  cinap_len...@gmx.de wrote:
 vmware, kvm/qemu, vbox should all work.

 --
 cinap




Re: [9fans] acid on linux; easiest-to-set-up virtual machine

2013-01-25 Thread James Chapman
It hangs during booting.

The same as this I think:

https://forums.virtualbox.org/viewtopic.php?f=4t=52431


On Jan 25, 2013, at 9:15 PM, cinap_len...@gmx.de wrote:

 whats the problem with this version?
 
 --
 cinap
 




Re: [9fans] 9pi + apple keyboard

2013-01-23 Thread James Chapman
Success!

On Jan 22, 2013, at 12:58 PM, James Chapman ja...@cs.ioc.ee wrote:
 On Jan 22, 2013, at 12:39 PM, Richard Miller 9f...@hamnavoe.com wrote:
 Some apple keyboards will work if you connect them via
 a powered hub.
 
 Ok, I might try that.

I changed the power supply to one that claims to provide 1.2A. This didn't 
appear to change anything.

My apple keyboard works with a powered hub, including with the mouse plugged 
into the keyboard.

The powered hub is, incidentally, a 23 Apple Cinema HD display (from approx. 
2003) which works perfectly with 9pi at 1900x1200.

Many thanks Richard Miller!

Cheers,

James





[9fans] 9pi + apple keyboard

2013-01-22 Thread James Chapman
Hi,

I just downloaded http://plan9.bell-labs.com/sources/contrib/miller/9pi.img.gz 
and tried it out.

It booted, my logitech mouse worked but my apple keyboard (model A1243) doesn't 
work.

It produces the following error:

usbotg: ep 5.0 error intr 0082

Best wishes,

James

Re: [9fans] 9pi + apple keyboard

2013-01-22 Thread James Chapman

On Jan 22, 2013, at 12:39 PM, Richard Miller 9f...@hamnavoe.com wrote:
 Some apple keyboards will work if you connect them via
 a powered hub.

Ok, I might try that.

 Some don't work at all, possibly because they don't implement
 the usb HID boot protocol in quite the standard way.
 
 There's a newer 9pi kernel in contrib/miller/9pi which has one more
 usb kb+mouse driver correction.  You could try grabbing that and
 copying it to the boot partition on the sd card and see if that
 helps.

I tried the newer kernel. It still doesn't work (without a powered hub).

On linux with the raspberry pi, I have to plug the mouse in separately, if I 
plug it into the keyboard the pi doesn't boot.

Many thanks,

James


Re: [9fans] troubleshooting pull from sources

2012-08-09 Thread James Chapman
On Wed, Aug 8, 2012 at 12:40 PM, Lucio De Re lu...@proxima.alt.za wrote:
 so maybe patience is the critical issue here?

It seems so!

I left it for several hours yesterday afternoon and it eventually
sprung to life.

Thanks for the responses,

James



[9fans] troubleshooting pull from sources

2012-08-08 Thread James Chapman
Hi,

When I run 'pull' it just produces no output and just sits there
apparently for ever. I can run '9fs sources' and navigate around in
/n/sources/. Is there a lock file or something I should delete? Any
suggestions for debugging?

Thanks,

James



Re: [9fans] drawterm to cpu/auth server with ordinary user

2012-06-04 Thread James Chapman
cpu%cat /cfg/$sysname/cpustart
aux/listen -q -t /rc/bin/service.auth -d /rc/bin/service tcp

cpu%ls /rc/bin/service.auth
/rc/bin/service.auth/authsrv.il566
/rc/bin/service.auth/tcp567

I guess I am already flailing... and I can't run anything on the server's 
console until tomorrow.

Thanks,

James

On Jun 4, 2012, at 10:01 PM, erik quanstrom wrote:

 On Mon Jun  4 14:53:57 EDT 2012, ja...@cs.ioc.ee wrote:
 Hi,
 
 I'm trying to set up a combined cpu/auth server. I can drawterm into it 
 using bootes but if I try the other user then I created the following 
 happens after I type in my password:
 
 cpu: cannont get auth tickets in p9sk1: Connection refused
 
 check to see that you have the proper entries in your /rc/bin/service.auth
 (or whatever directory you're using) *and* that you are starting a listen
 on this directory.
 
 also, it's worth running auth/debug on the auth server's console
 before making too many changes.  i've found that it's easy to flail
 and make conuter-productive changes.
 
 - erik
 




Re: [9fans] drawterm to cpu/auth server with ordinary user

2012-06-04 Thread James Chapman
P.S.

mv /rc/bin/service/tcp567 /rc/bin/service/!tcp567

This line didn't work when I was following the instructions on the wiki for 
configuring a standalone cpu server as the file tcp567 wasn't there.

James

On Jun 4, 2012, at 10:14 PM, James Chapman wrote:

 cpu%cat /cfg/$sysname/cpustart
 aux/listen -q -t /rc/bin/service.auth -d /rc/bin/service tcp
 
 cpu%ls /rc/bin/service.auth
 /rc/bin/service.auth/authsrv.il566
 /rc/bin/service.auth/tcp567
 
 I guess I am already flailing... and I can't run anything on the server's 
 console until tomorrow.
 
 Thanks,
 
 James
 
 On Jun 4, 2012, at 10:01 PM, erik quanstrom wrote:
 
 On Mon Jun  4 14:53:57 EDT 2012, ja...@cs.ioc.ee wrote:
 Hi,
 
 I'm trying to set up a combined cpu/auth server. I can drawterm into it 
 using bootes but if I try the other user then I created the following 
 happens after I type in my password:
 
 cpu: cannont get auth tickets in p9sk1: Connection refused
 
 check to see that you have the proper entries in your /rc/bin/service.auth
 (or whatever directory you're using) *and* that you are starting a listen
 on this directory.
 
 also, it's worth running auth/debug on the auth server's console
 before making too many changes.  i've found that it's easy to flail
 and make conuter-productive changes.
 
 - erik
 
 




Re: [9fans] drawterm to cpu/auth server with ordinary user

2012-06-04 Thread James Chapman
I just discovered that I can drawterm in from a machine on the same network 
with my user but it doesn't work from outside (over the internet).

I am using dhcp with just the following in /lib/ndb/local:

cpu% cat /lib/ndb/local

#
#  files comprising the database, use as many as you like, see ndb(6)
#
database=
file=/lib/ndb/local
file=/lib/ndb/common

auth=sources.cs.bell-labs.com authdom=outside.plan9.bell-labs.com

#
#  because the public demands the name localsource
#
ip=127.0.0.1 sys=localhost dom=localhost
authdom=mydom.home auth=myserver

and 

sysname=myserver

in plan9.ini

Do I need to put the authdom and auth somewhere else too?

James

On Jun 4, 2012, at 10:34 PM, David du Colombier wrote:

 I'm trying to set up a combined cpu/auth server. I can drawterm into
 it using bootes but if I try the other user then I created the
 following happens after I type in my password:
 
 cpu: cannont get auth tickets in p9sk1: Connection refused
 
 goodbye
 
 When you are running plan9port factotum, this problem appears
 when you forgot to add auth= authdom= in $PLAN9/lib/ndb.
 
 -- 
 David du Colombier
 




Re: [9fans] drawterm to cpu/auth server with ordinary user

2012-06-04 Thread James Chapman
And now I discovered the problem was a typo in setting up an ssh tunnel. Sorry 
for the noise, and thanks for the help!

James

On Jun 4, 2012, at 10:59 PM, James Chapman wrote:

 I just discovered that I can drawterm in from a machine on the same network 
 with my user but it doesn't work from outside (over the internet).
 
 I am using dhcp with just the following in /lib/ndb/local:
 
 cpu% cat /lib/ndb/local
 
 #
 #  files comprising the database, use as many as you like, see ndb(6)
 #
 database=
   file=/lib/ndb/local
   file=/lib/ndb/common
 
 auth=sources.cs.bell-labs.com authdom=outside.plan9.bell-labs.com
 
 #
 #  because the public demands the name localsource
 #
 ip=127.0.0.1 sys=localhost dom=localhost
 authdom=mydom.home auth=myserver
 
 and 
 
 sysname=myserver
 
 in plan9.ini
 
 Do I need to put the authdom and auth somewhere else too?
 
 James
 
 On Jun 4, 2012, at 10:34 PM, David du Colombier wrote:
 
 I'm trying to set up a combined cpu/auth server. I can drawterm into
 it using bootes but if I try the other user then I created the
 following happens after I type in my password:
 
 cpu: cannont get auth tickets in p9sk1: Connection refused
 
 goodbye
 
 When you are running plan9port factotum, this problem appears
 when you forgot to add auth= authdom= in $PLAN9/lib/ndb.
 
 -- 
 David du Colombier
 
 




[9fans] ssh2

2012-04-24 Thread James Chapman
Hi,

I'm very pleased to see the new progress with ssh2. I thought I'd try it out 
but I didn't get very far.

I just did a pull from sources and built a new kernel.

I tried the following:

cpu% ssh user@host
The following key has been offered by the server:
ek=23 n=
Add this key? (yes, no, session)

I typed yes and pressed return. Then it seems to hang there forever.

James




Re: [9fans] ssh2

2012-04-24 Thread James Chapman
Perhaps I should add that when I did this the following message appeared on the 
screen:

14:11:39 netssh: server id 0 new connection on fd 6

Thanks,

James

On Apr 24, 2012, at 1:17 PM, James Chapman wrote:

 Hi,
 
 I'm very pleased to see the new progress with ssh2. I thought I'd try it out 
 but I didn't get very far.
 
 I just did a pull from sources and built a new kernel.
 
 I tried the following:
 
 cpu% ssh user@host
 The following key has been offered by the server:
 ek=23 n=
 Add this key? (yes, no, session)
 
 I typed yes and pressed return. Then it seems to hang there forever.
 
 James
 




Re: [9fans] need feedback: bibTeX users?

2010-12-13 Thread James Chapman
Dear Thierry,

I use it:

james$ bibtex --version
BibTeX 0.99d (TeX Live 2010/MacPorts 2010_0)
kpathsea version 6.0.0
Copyright 2010 Oren Patashnik.
...

In my area (roughly theoretical computer science I guess) LaTeX is a
necessity (I have to send the LaTeX source to the publisher) and
bibTeX is used by most people to manage their own references. Lots of
people include bibtex for their papers on their publications webpages
to make this easy. This is the only reliable source of bibtex,
'harvested' bibtex produces laughably bad results. However, I often
have to remove the bibtex file and inline the references for the
camera ready version of the paper. I'd say that bibtex is usually used
to manage a library of references that you accumulate over time. It's
not a necessity but an important convenience and one whose use is
widespread.

If you want to work at all you need LaTeX. If you want to work with
others you need bibTeX. You could do without it but nobody else is
prepared too. Trying to avoid either would be like refusing to use
email. When I say you I guess I mean me :)

Best wishes and keep up the good work!

James



On Mon, Dec 13, 2010 at 12:39 PM,  tlaro...@polynum.com wrote:
 Hello,

 Since I'm finishing the task I have undertaken---provide a complete core
 TeX system with MetaPost---, there is one piece that is a WEB program,
 hence needs to be translated, and that may be used: bibTeX.

 I don't use it myself but since third millenium state of the art
 academic research is evaluated by the same algorithm as the one
 used by Google to rank pages: number of citations and cross citations,
 I guess it is fundamental for an author to be able to cite a maximum
 of works he has not read, crediting people that have actually signed
 them but not actually written them, keeping in mind that it is not
 a problem that none of them has ever grasped the subject since it
 doesn't make sense.

 The problem is that the version of bibTeX in the sources I have started
 with is 0.99c; it is not rocket science; it seems to me overkill to not
 just handle the bibliography with normal text utilities; and it seems
 that there are other versions in use now mainly with LaTeX.

 So questions:

 1) Are there people using it?
 2) What version?
 3) Is there now a non WEB based implementation?---in this case I could
 simply forget about it.---

 I need feedback since my main engineering tool is still /dev/null!
 --
        Thierry Laronde tlaronde +AT+ polynum +dot+ com
                      http://www.kergis.com/
 Key fingerprint = 0FF7 E906 FBAF FE95 FD89  250D 52B1 AE95 6006 F40C





Re: [9fans] sheevaplug port available

2010-10-19 Thread James Chapman
Hi,

My attempt to (belatedly) follow the instructions below has been
hindered by the fact that I don't seem to have the arm assembler 5a on
my i386 plan 9 system.

ls /bin/?c yields lots of compilers

ls /bin/?a yields only 0a and 8a.

Is 5a supposed to be there by default or should I build it from
source? If so how.

Thanks,

James

Thanks,

James

On Tue, Nov 17, 2009 at 10:37 PM,  ge...@plan9.bell-labs.com wrote:
 If you run replica/pull (or have done so recently), you'll find a new
 kernel subtree, /sys/src/9/kw, which contains a basic port of Plan 9
 to the Sheevaplug, derived from the port of native Inferno.  9plug is
 a diskless cpu server supporting a serial console and gigabit
 ethernet.  booting(8) and /sys/doc/port.* have been updated to match.
 `kw' stands for Kirkwood, the Marvell system-on-a-chip that the
 Sheevaplug is based upon.  There are more Kirkwood systems on the way.

 What's not yet in this port: access to flash memory, USB devices,
 memory cards and possibly more.  The documentation for Kirkwood flash
 and USB is some combination of vague, obscure, incomplete,
 unavailable, contradictory and tediously voluminous.  If you configure
 in the USB drivers, you'll find that there appears to be an
 unpopulated root hub, but that may be a figment of the usb driver's
 imagination.  The EHCI registers do seem to be present and we probably
 just need to tweak some undocumented register to make it all go.

 If you only been building 386 binaries to date, you'll want to edit
 /sys/src/mkfile.proto to at least include the arm architecture:

        OS=58
        CPUS=arm 386

 and make sure all your /386/bin compiler binaries are up to date:

        cd /sys/src/cmd
        for(i in ?c)
                if(! ~ $i cc rc) @{
                        cd $i
                        mk clean
                        objtype=$cputype mk install
                        mk clean
                }

 and populate your /arm tree:

        cd /sys/src
        objtype=arm mk install

 You should then be able to build a sheeva kernel:

        cd /sys/src/9/kw
        mk 'CONF=plug' install  # `mk install' will work too

 This should create /arm/9plug; see booting(8) to get started.

 Enjoy!





[9fans] other mouse buttons in drawterm on a one mouse button mac laptop under OS X

2010-09-06 Thread James Chapman
Hi,

In drawterm middle-click is option-click and right-click is command-click.

In OS X in general right click is ctrl-click and in plan9 under vmware
fusion ctrl-click is right-click and command-click is middle-click.

Is there any reason for this discrepancy and can it be easily changed?

Best wishes,

James



Re: [9fans] other mouse buttons in drawterm on a one mouse button mac laptop under OS X

2010-09-06 Thread James Chapman
On Tue, Sep 7, 2010 at 2:16 AM, Russ Cox r...@swtch.com wrote:
 In drawterm middle-click is option-click and right-click is command-click.

 In OS X in general right click is ctrl-click and in plan9 under vmware
 fusion ctrl-click is right-click and command-click is middle-click.

 Is there any reason for this discrepancy and can it be easily changed?

 I don't see the discrepancy.  You said that
 OS X and Plan 9 agree about ctrl meaning right click.

Yes but drawterm doesn't agree: command (apple key) means right click
and option means middle click.

James



Re: [9fans] resizing desktops under vmware vs. parallels

2010-09-05 Thread James Chapman
monitor=cinema
vgasize=1280x768x24

works for me.

James

On Sun, Sep 5, 2010 at 5:29 AM, Lyndon Nerenberg (VE6BBM/VE7TFX)
lyn...@orthanc.ca wrote:
 [ Let me try again, this time hitting Post vs |fmt :-) ]

 For ages I've run diskless terminals under Parallels, and aux/vga would
 quite cheerfully resize the Parallels window to match anything I told it.

 Recently I had to migrate from Parallels to Fusion.  Resizing doesn't
 work any more.  Furthermore, I'm buggered if I can programmatically
 figure out what combinations of screen size+depth will work in Fusion
 without making the terminal instance panic.  The list archives and the
 wiki are absent of advice.  Looking at the aux/vga output I also can't
 parse a set of likely screen dimension values.  Has anyone else
 successfully wrestled with this?






[9fans] Fwd: [TYPES/announce] Postdoc opportunities at UPenn, Harvard, and Northeastern

2010-08-24 Thread James Chapman
I thought this might interest some 9fans.

James

-- Forwarded message --
From: Benjamin Pierce bcpie...@cis.upenn.edu
Date: Tue, Aug 24, 2010 at 4:44 PM
Subject: [TYPES/announce] Postdoc opportunities at UPenn, Harvard, and
Northeastern
To: types-annou...@lists.seas.upenn.edu, Coq Club
coq-c...@pauillac.inria.fr, Study on Mechanized Metatheory for the
Masses group prov...@lists.seas.upenn.edu


[ The Types Forum (announcements only),
    http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

Applications are invited for postdoc positions in the areas of
programming languages, formal verification, operating systems, and
hardware design at the University of Pennsylvania, Harvard
University, and Northeastern University.

The hosting project, SAFE (Semantically Aware Foundation Environment),
is part of CRASH, a larger DARPA-funded effort to design new computer
systems that are highly resistant to cyber-attack, can adapt after a
successful attack in order to continue rendering useful services, can
learn from previous attacks how to guard against and cope with future
attacks, and can repair themselves after attacks have succeeded.  It
offers a rare opportunity to rethink the hardware / OS / software
stack from a completely clean slate, with no legacy constraints
whatsoever.

Specifically, we aim to build a suite of modern operating system
services that embodies and supports fundamental security
principles—including separation of privilege, least privilege, and
mutual suspicion—down to its very bones, without compromising
performance.  Achieving this goal demands an integrated effort
focusing on (1) processor architectures, (2) operating systems, (3)
formal methods, and (4) programming languages and compilers -- coupled
with a co-design methodology in which all critical system layers are
designed together, with a ruthless insistence on simplicity, security,
and verifiability at every level.

The ideal candidate will have a Ph.D. in Computer Science, a
combination of strong theoretical and practical interests, and
expertise in two or more of the following areas: programming
languages, security, formal verification, operating systems, and
hardware design.  The position is for one year in the first instance,
with possible renewal up to four years.  Starting date is negotiable.
Applications from women and members of other under-represented groups
are particularly welcome.

To apply, please send a CV, research statement, and the names of three
people who can be asked for letters of reference to Benjamin Pierce
(bcpie...@cis.upenn.edu).  Inquiries can be directed to any of the
PIs:

  Andre Dehon (Penn)
  Greg Morrisett (Harvard)
  Benjamin Pierce (Penn)
  Olin Shivers (Northeastern)
  Jonathan Smith (Penn)



Re: [9fans] soverflow for fx-in

2010-07-25 Thread James Chapman
Thanks Erik. Removing the first instance of the print in
/sys/src/9/pc/devether.c appears to fix it:

/* print(soverflow for f-in\n);  */

There is another another print lower down but I left this there for the moment.

term% time upas/fs -f /imaps/imap.gmail.com/address_remo...@gmail.com

!Adding key: proto=pass server=imap.gmail.com service=imap
user=address_remo...@gmail.com
password:
!
0.21u 1.04s 35.59r   upas/fs -f 
/imaps/imap.gmail.com/address_remo...@gmail.com

This was for 595 messages actually.

Many thanks,

James

On Sun, Jul 25, 2010 at 7:52 AM, erik quanstrom quans...@quanstro.net wrote:
 Also, I just did a pull from sources which appears to have updated
 almost the complete contents of /386. This caused the soverflow for
 fx-in message to appear. I had to run pull three times to get it to
 finish.

 maybe my first message wasn't that clear.  any ethernet activity
 can cause this if the input queue can't be drained fast enough.
 clearly, too much of the cpu is spent in interrupt context receiving
 packets, and not enough processing them. but delete the print, and
 tcp congestion avoidance should make up the difference fast enough
 to keep the remote happy.

 - erik





[9fans] upas problem

2010-07-24 Thread James Chapman
Hi,

I have been accessing gmail from a standalone plan 9 terminal (pulled
from sources and rebuilt kernel a few days ago) under vmware fusion
3.1.0. When I tried again recently:

term% upas/fs -f /imaps/imap.gmail.com/my_em...@gmail.com

I enter my password and then

a black square appears on the screen and soverflow for fx-in is
printed repeatedly. This goes on for some time and then errors like:

download 10423: short read 3084755 != 3571948: Hangup

download 10424: i/o error: Hangup

download 10425: i/o error: Hangup

download 10426: i/o error: Hangup

download 10427: i/o error: Hangup

are printed in the window.

I've seen this before, I previously had 4000 emails in my inbox and I
got the these errors trying to open it. Now I have only 250 (2 or 3
weeks worth) I have also only seen the soverflow for fx-in on
vmware. On my native plan9 box I have only seen the hangup errors. I
also seen the soverflow error when doing a pull (a big one) under
vmware.

James Chapman



[9fans] soverflow for fx-in

2010-07-24 Thread James Chapman
On Sat, Jul 24, 2010 at 10:44 PM, Lyndon Nerenberg lyn...@orthanc.ca wrote:
 what's happening is that the printing of soverflow for fx-in
 is wasting so much time that the imap server gets bored and hangs
 up.

 This is really dragging out for 30 minutes?

No. Not that long.

Also, I just did a pull from sources which appears to have updated
almost the complete contents of /386. This caused the soverflow for
fx-in message to appear. I had to run pull three times to get it to
finish.

James




Re: [9fans] printing over usb

2010-07-05 Thread James Chapman
Hi,

I 'solved' the problem by attaching the printer to my apple airport
express. Now I can print from plan9 using this neat trick I found
whilst digging in 9fans:

term% cat test.ps | telnet tcp!express.lan!9100
connected to tcp!express.lan!9100 on /net/tcp/2

I'd still like to be able to directly connect with usb. I will try
with native plan 9 instead of under vmware fusion and also try a
different printer to see if I get different results.

Is there some extra extra debugging I can enable to see what's going
on with the usb devices?

Best wishes,

James Chapman


On Sun, Jul 4, 2010 at 12:31 AM, James Chapman ja...@cs.ioc.ee wrote:
 On Sun, Jul 4, 2010 at 12:08 AM, franciscojose ballesteros
 nemo.m...@gmail.com wrote:
 Ep4.0 does not look like the place to send data. It's probably the control 
 ep.
 for the printer. IIRC, the driver adds a file named lp something, but I'm not
 sure. Try to look at /dev to see if there's a file there.

 term% du -ah /dev | grep lp

 yields only this:

 1k      /dev/lpt1dlr
 1k      /dev/lpt1psr
 0       /dev/lpt1pcr
 0       /dev/lpt1data

 Otherwise it could be something like ep4.1

 I don't seem to have an ep4.1:

 term% usb/probe
 ep1.0 roothub csp 0x09 ports 2 uhci
 ep2.0 roothub csp 0x09 ports 6 ehci
 ep3.0 hub csp 0x09 ports 7 none nil uhci
 ep4.0 printer csp 0x030107 csp 0x010107 vid 0x03f0 did 0x1017
 Hewlett-Packard 'hp LaserJet 1300' uhci

 James




[9fans] printing over usb

2010-07-03 Thread James Chapman
Hi,

I would like to use my hp laserjet 1300 postscript printer with plan9.
I'm running plan9 under vmware fusion on a macbook and the printer is
connected via usb.

I checked that the printer is visible:

term% usb/probe
ep1.0 roothub csp 0x09 ports 2 uhci
ep2.0 roothub csp 0x09 ports 6 ehci
ep3.0 hub csp 0x09 ports 7 none nil uhci
ep4.0 printer csp 0x030107 csp 0x010107 vid 0x03f0 did 0x1017
Hewlett-Packard 'hp LaserJet 1300' uhci

I added the following line to /sys/lib/lp/devices:

laserjet1300- - /dev/usb/ep4.0/data - post+nohead generic nospool - - - -

Then I tried to print something:

term% lp -dlaserjet1300 /sys/doc/utf.ps
cat: write error copying stdin: request timed out

Can somebody tell me what I'm doing wrong?

Best wishes,

James Chapman



Re: [9fans] printing over usb

2010-07-03 Thread James Chapman
On Sun, Jul 4, 2010 at 12:08 AM, franciscojose ballesteros
nemo.m...@gmail.com wrote:
 Ep4.0 does not look like the place to send data. It's probably the control ep.
 for the printer. IIRC, the driver adds a file named lp something, but I'm not
 sure. Try to look at /dev to see if there's a file there.

term% du -ah /dev | grep lp

yields only this:

1k  /dev/lpt1dlr
1k  /dev/lpt1psr
0   /dev/lpt1pcr
0   /dev/lpt1data

 Otherwise it could be something like ep4.1

I don't seem to have an ep4.1:

term% usb/probe
ep1.0 roothub csp 0x09 ports 2 uhci
ep2.0 roothub csp 0x09 ports 6 ehci
ep3.0 hub csp 0x09 ports 7 none nil uhci
ep4.0 printer csp 0x030107 csp 0x010107 vid 0x03f0 did 0x1017
Hewlett-Packard 'hp LaserJet 1300' uhci

James



Re: [9fans] iwp94e proceedings

2010-05-02 Thread James Chapman
Hi Erik,

I think the Currying paper appears twice. In the second case it
appears instead of the other paper by Ron Minnich et al.

James

On Sat, May 1, 2010 at 4:12 PM, erik quanstrom quans...@quanstro.net wrote:
 http://iwp9.org/iwp94e.pdf

 - erik





Re: [9fans] TeX it!

2010-04-23 Thread James Chapman
Hi,

I downloaded the four files and failed almost immediately. What am I
doing wrong?

James

Transcript below:

term% ls
kertex_M
kertex_T
knuth
risk_comp
term% ape/psh
# cd kertex_M
# ../risk_comp/sys/posix/sh/rkconfig
- config pathname /usr/james/tex/kertex_M/conf/KERTEX_M entered in cache
- config pathname /usr/james/tex/risk_comp//sys/posix/lib/rkcomp
entered in cache
- Sourcing /usr/james/tex/risk_comp//sys/posix/lib/rkcomp
- config pathname /usr/james/tex/risk_comp//sys/posix/lib/T_default
entered in cache
- Sourcing /usr/james/tex/risk_comp//sys/posix/lib/T_default
- config pathname /usr/james/tex/risk_comp//sys/posix/lib/M_default
entered in cache
- Sourcing /usr/james/tex/risk_comp//sys/posix/lib/M_default
- config pathname /usr/james/tex/risk_comp//sys/posix/lib/C_posix
entered in cache
- Sourcing /usr/james/tex/risk_comp//sys/posix/lib/C_posix
Checking MAKE: found (make)
Checking SHELL: found (/bin/sh)
Checking CC: found (/bin/c89)
Checking AR: found (ar)
Checking LEX: found (/bin/lex)
Checking YACC: found (/bin/yacc)
Checking CLIB: not found!
Checking MATHLIB: not found!
Checking LEXLIB: not found!
rkconfig ERROR: There were 3 libes not found! Stop!

CLIB is missing:

CLIB
The standard ISO C/POSIX compliant library `libc'


MATHLIB is missing:

MATHLIB
The standard ISO C/POSIX compliant math library `libm'


LEXLIB is missing:

LEXLIB
The library provided by the LEX program, `libl' or `libfl' if `flex'
is installed and the symlink libl.a has not been made to libfl.a


#



Re: [9fans] TeX it!

2010-04-23 Thread James Chapman
On Fri, Apr 23, 2010 at 4:23 PM,  tlaro...@polynum.com wrote:
 It takes M_default when it should take M_plan9.

 What gives you (under ape): uname -s?

# uname -s
Plan9



[9fans] multiple pings cause panic

2010-04-18 Thread James Chapman
On my new plan 9 terminal running under vmware fusion on my leopard
macbook this happens:

Executing the command

term% for (i in `{seq 1 254}) {ip/ping -n 1 192.168.1.1}

causes

panic: Fsprotoclone: all conversations in use
panic :Fsprotoclone: all conversations in use
dumpstack disabled
cpu0: exiting

Regardless of whether my program was sensible I guess this isn't
supposed to happen. Right?

James



Re: [9fans] multiple pings cause panic

2010-04-18 Thread James Chapman
On Sun, Apr 18, 2010 at 11:32 PM, erik quanstrom quans...@quanstro.net wrote:
 term% for (i in `{seq 1 254}) {ip/ping -n 1 192.168.1.1}

 i think you mean

        for(i in `{seq 1 254}){ip/ping -n1 192.168.1.$i}

Sorry, I meant

for(i in `{seq 1 254}){ip/ping -n1 192.168.1.$i}

I added the  as I didn't want to wait for one to timeout/succeed
before trying the next one.

Is there a more sensible way to do this from rc? I.e. to kick off a
lot of pings at once and collect the results later.

 panic: Fsprotoclone: all conversations in use
 panic :Fsprotoclone: all conversations in use
 dumpstack disabled
 cpu0: exiting

 nope.  that's the way it's supposed to go.
 the idea is that if all the conversations are used up,
 then your machine is useless and you might as well
 panic.

 however, a fair question to ask is, is this limit
 reasonable, and is panicing really the right thing
 to do.

I was expecting that a panic was a bug and I shouldn't be able to cause one.

I'm running a standalone system here but if I wasn't could I bring
down the server like this or only my terminal?



Re: [9fans] TeX: hurrah!

2010-04-16 Thread James Chapman
LaTeX does too. I have used it with a recent version of TeX Live to
get greek and mathematical symbols in verbatim code listings.

James

On Fri, Apr 16, 2010 at 5:07 PM, Karljurgen Feuerherm kfeuerh...@wlu.ca wrote:
 XeTeX/XeLaTeX do this, I believe... Perhaps they can be ported at some
 point?

 K

 Karljürgen G. Feuerherm, PhD
 Department of Archaeology and Classical Studies
 Wilfrid Laurier University
 75 University Avenue West
 Waterloo, Ontario N2L 3C5
 Tel. (519) 884-1970 x3193
 Fax (519) 883-0991 (ATTN Arch.  Classics)

 Alexander Sychev santu...@gmail.com 16/04/2010 9:32:04 am 
 Hello!

 Congratulations!

 Have you any plans to adapt the TeX for UTF-8 input?

 On Fri, 16 Apr 2010 15:57:56 +0400, tlaro...@polynum.com
  tlaro...@polynum.com  wrote:

 So it compiles without ado under Plan9! And it's pure C89 (POSIX is just
 for the framework, not for the code: I have removed unneeded
 dependencies). And it's all the latest versions of the programs.

 So some numbers:
 - You will need to download a bundle of 4 chunks (I will put all
 on
 my website; I think the licence for TeX/METAFONT allows thie):

 1) Donald E. Knuth's sources: all the programs; the
 sources for
 the Computer Modern Typefaces and the man pages (roff) I
 have
 found here and there or reconstructed.
 =  6 Mb (compressed)

 2) kertex_M: these are the tools for the _matrix_ (the
 vulcan;
 the node compiling; the cpu) translating from Pascal to
 C.
 =  54 kb (compressed)

 3) kertex_T: the R.I.S.K. (see below) framework for
 building
 TeX/METAFONT, that is the change files, the template
 Makefiles,
 the PASCAL-H extensions implemented as a C library. Plus
 some
 public domain software: dvips [it is not compiled for
 now; it's
 the next in the list] and some auxiliary tools (afm2tfm
 etc.);
 MetaPost (not included for now: next after dvips).
 =  0.4 Mb

 4) The R.I.S.K. comp framework (my stuff) that is just a
 basic
 POSIX compliant way of configuring, compiling and
 installing
 software. Everything is configured via basic parameters
 file
 (you should not have to change something here; but it's
 all
 sh(1), ed(1), sed(1) and make(1)).
 =  125kb (compressed; the bigger par in size
 is D.E. Knuth
 and Silvio Levy's CWEB [not used here]
 that I use
 intensively).

 So the sources, it is less than 12 Mb uncompressed.

 And the sources can be (shall be) read-only so you can put them where
 you want.

 Space requirements for compilation : you will need about 33 Mb of free
 space or, at least, 12 Mb of free space if you use the SAVE_SPACE=YES
 option of R.I.S.K. (in this case, the intermediary products are removed
 whence the target is built; and when building the package, the binaries
 are not copied in the tarball, but moved in the tarball).

 Time: on my old AMD Athlon (686-class), 1250.16 MHz, this takes less
 than 2 minutes and a half...

 The resulting package is 8 Mb. But the installation will need a little
 more, since :
 1) The METAFONT plain format is compiled leading to the program
 that
 has the right to be called mf(1) since it passes the TRAP test.

 2) All the Computer Modern fontes are compiled, using mf(1).

 3) The TeX plain format is compiled leading to the program that
 has
 the right to be called tex(1) since it passes the TRIP test.

 Since the work is done for allowing cross-compilation, the binaries are
 not used on the matrix, but on the target, i.e. at installation time.

 For the use of the stuff, I will need to put the essential in the
 document describing the process in the following days.

 For Plan9, one question: about the group (since for the user it will be
 ignored). Which group ?

 I have decided that the stuff will be installed in:

 - /lib/kertex for machine independant stuff (the macros, but the
 compiled fontes too). Plan9 users can bind -a to ``redirect''
 what
 will be written where they want.

 - /$objtype/bin for the binaries. (idem)

 - /$objtype/lib/kertex/tex/dump/, and
 /$objtype/lib/kertex/mf/dump/
 for the dump of the tables (the compiled version of the macros,
 that
 is loaded say when you call virtex(1) mistex(1), this is
 virtex(1)
 but it looks to is dump mistex.fmt to load it. The dumps are not
 machine independant, even not program independant since they
 depend
 on options selected at compile time). (idem)


 To give you a view of what is installed (and possibly where), here is
 the (generic: for Unices too) map [I need to change root:wheel to
 variable things) :

 #== THE MAIN DIR TREE
 # Everything is relative (for the not man nor bin stuff) to PKGDIR that
 # one can set as he sees fit.
 #
 + d * $PKGDIR/mf root:wheel 755
 # This is where we put Computer Modern _sources_ (parameters and drivers
 # METAFONT's files).
 #
 + d * $PKGDIR/mf/cm root:wheel 755
 + d * $PKGDIR/mf/mac root:wheel 755
 # If you want to ``localize'' messages, look at D.E.K.'s pool stuff.
 #
 + d * $PKGDIR/mf/pool root:wheel 755
 + d * $PKGDIR/mf/trap root:wheel 755
 # Since to create a METAFONT' base 

Re: [9fans] TeX: hurrah!

2010-04-16 Thread James Chapman
This page and its links maybe be interesting for understanding the
relationship between latex and tex:

http://www.tug.org/levels.html

In my area of computer science all publications are written in latex
and for a particular conference/journal a latex class or style file (I
must admit to not really knowing what the difference is) is provided
and must be adhered to. Everybody I know also used texlive which seems
to be the standard tex distribution. It used to be tetex but this is
no longer maintained.

I would be great to be able to write on plan 9 and I'm very pleased to
see the porting effort for tex.

James

On Fri, Apr 16, 2010 at 9:22 PM, Joseph Stewart
joseph.stew...@gmail.com wrote:
 Sorry to be a grouch, but can we change this thread to OO instead of the
 advertised TeX:hurrah! thread?
 I'm interested in the TeX news, but not so interested in the OO/language
 debate that no doubt will go on for a while...
 Thanks!
 -joe

 On Fri, Apr 16, 2010 at 2:14 PM, Karljurgen Feuerherm kfeuerh...@wlu.ca
 wrote:

 Ok--so it's agreed that it's not OO that's the problem, it's the users,
 then, who don't know which tool to use when. Not at all the same thing.

 And to be pedantic, since you give this example, the sun does revolve
 around the earth, so long as you choose the earth as your point of
 reference... Certain points of reference are to be preferred for certain
 things, as you said. So OO or not, as appropriate.

 K

  Patrick Kelly kameo76...@gmail.com 16/04/2010 1:55:50 pm 
 I was just speaking generally.
 One of my major programming languages is Ada, and I doubt anyone would say
 that isn't big on provability. I've used objects a couple times, in places
 where they do in fact help, but those cases are, in general, not read
 properly. Using an object in the wrong place, which is most places, does
 lead to worse code. For most people, using the wrong tool for the wrong job
 is foolish, but for OOP lovers...

 The question isn't how do you prove it does reduce static provability, but
 how do you prove it does not. I can cite mathematical proof that the sun
 revolves around the earth, but we all know that's not true. That being said,
 there are studies out there about using the wrong paradigm for the wrong
 job, objects do come up.





Re: [9fans] Recommended emulators/VMs for P9 install

2010-04-16 Thread James Chapman
This afternoon I downloaded a trial version of VM Fusion (Version
3.0.2 (232708)) and a fresh plan9.iso.bz2 and installed it on my core
2 due macbook running OS X Leopard (Version 10.5.8).

It works quite nicely, graphics and networking are both working. The
only things that tripped me up were I had to delete the IDE emulating
hard disk image and create a SCSI emulating before installation and
choose xga instead of the usual vesa for the screen.

I have had parallels working on several occasions in the past but a
recent attempt to get it working again failed. I couldn't even get it
to boot the installer.

James

On Fri, Apr 16, 2010 at 9:19 AM, Rodolfo (kix) k...@kix.es wrote:
 I am agreed with Federico,

 vmware. Do not spend time with other emulators.

 El 15 de abr de 2010, 9:02 p.m., Federico G.  Benavento
 benave...@gmail.com escribió:

 vmware, the rest just suck, qemu and virtual box being
 the slowest

 On Thu, Apr 15, 2010 at 2:11 PM, Joel C. Salomon joelcsalo...@gmail.com
 wrote:  My computer died...

 --
 Federico G. Benavento





Re: [9fans] problem logging into a combined auth/cpu/fileserver

2009-09-07 Thread James Chapman

Hi Erik,

Thanks for the reply. I added the authdom and this is what I have now  
in /lib/ndb/local:


[snip]

ipnet=mynet ip=192.168.1.0 ipmask=255.255.255.0
auth=carp
cpu=carp
authdom=home.net
dns=192.168.1.254
dnsdom=lan

authdom=home.net auth=carp

ip=192.168.1.68 sys=carp dom=carp.lan
#sys=carpet dom=carpet.lan

If I remove the ip address for carp I get the same error as before.

With these settings the terminal (carpet) knows carp's address (which  
it didn't before):


term% ndb/csquery
 net!carp!9fs
/net/tcp/clone 192.168.1.68!564

and I can cpu to carp by:

term% cpu -h carp

or

term% cpu -h 192.168.1.68

If I remove carp's ip from /lib/ndb/local I get the weird error when I  
try to


term% cpu -h 192.168.1.68

But I can still do this:

term% cpu -h 192.168.1.68 -u bootes

This works for now, but as carp's ip is from dhcp it might change. I'd  
like this to be more robust so that I can use it on other networks  
which serve dhcp without changing anything. A bit of zeroconf/ 
rendezvous would be nice but I'm happy to look up the address on the  
cpu server console and then type it in manually on the terminal.



are you running auth/factotum (factotum(4))?


I think so. ps | grep factotum returns two entries and /mnt/factotum  
is populated.


James



Re: [9fans] problem logging into a combined auth/cpu/fileserver

2009-09-07 Thread James Chapman

On 8 Sep 2009, at 01:13, erik quanstrom wrote:

and if you have cpu and auth set to carp.lan?


Doesn't seem to change anything.



[9fans] problem logging into a combined auth/cpu/fileserver

2009-09-06 Thread James Chapman

Hi,

I have set up a combined auth/cpu/fileserver (using fossil) under  
parallels.


The hostowner is bootes and I created an ordinary user called james.

I can connect with drawterm with either user.

I can also boot a plan 9 terminal in a parallels instance from the  
server. If I do this as bootes I can also:


term% cpu -h (server ip)

from my freshly booted terminal. However if I boot the plan 9 terminal  
as james then executing the above command gives the error:


cpu: can't authenticate: (server ip): auth_proxy rpc write: bootes:  
cs: can't translate address: dns: resource does not exist


If I type:

term% cpu -h (server ip) -u bootes

whilst logged in as james it connects successfully. Which (to me)  
implies that the terminal is working properly.


I'm rather baffled by the error. Surely it can't have anything to do  
with dns?


James




Re: [9fans] nice quote

2009-09-06 Thread James Chapman


On Sep 6, 2009, at 9:05 PM, David Leimbach wrote:
On Sun, Sep 6, 2009 at 10:08 AM, Eris Discordia eris.discor...@gmail.com 
 wrote:

In this respect rating the expressive power of C versus LISP depends
very much on the problem domain under discussion.

Of course. I pointed out in my first post on the thread that [...]  
for a person of my (low) caliber, LISP is neither suited to the  
family of problems I encounter nor suited to the machines I solve  
them on. I cannot exclude other machines and other problems but can  
talk from what little I have personally experienced.


I would like to see Haskell fill C's niche [...]

Is it as readily comprehensible to newcomers as C? Are there texts  
out there that can welcome a real beginner in programming and help  
him become productive, on a personal level at least, as rapidly as  
good C textbooks--you know the classic example--do? Is there a  
coherent mental model of small computers--not necessarily what you  
or I deem to be a small computer--that Haskell fits well and can be  
taught to learners? I imagine those will be indispensable for any  
language to replace existing languages, much more so in case of C.


According to the designer of F# (another functional programming  
language that takes it's syntax from O'Caml as well as Haskell and  
even Python), one of the best experiences he'd had was working with  
a high school student who was able to modify a solar system  
simulation written in F# with no prior programming experience.   
(from http://www.computerworld.com.au/article/271034/)


There's books on F# out there, and F# for Scientists.

http://www.ffconsultancy.com/products/fsharp_for_scientists/index.html

There's books on multimedia programming in Haskell out there that  
also attempt to show programming to newcomers, but I'm not sure any  
of them really assume no prior programming experience.


I think people learning C get one view of the computer that folks  
learning assembly really learn to appreciate :-).  Folks learning  
Haskell learn another mental model of programming as well.


My personal belief is that learning new languages makes one think  
about the languages they are used to in a new light, and can make  
them better programmers overall.




As you mentioned beginners books for Haskell I couldn't resist  
plugging Graham Huttons excellent beginners book Programming in  
Haskell:


http://www.cs.nott.ac.uk/~gmh/book.html

It is based on 10 years of teaching a first year undergraduate course  
and is certainly accessible I believe. I've taught an undergraduate  
course myself using it.


There is also the this book which complements Graham's quite well:

http://www.realworldhaskell.org/blog/

I agree with David in that it is asking the wrong question as to  
whether there is a model of a computer that fits with Haskell. Haskell  
is based on a different model of computation. Conceptually, Haskell  
programs are executed by rewriting expressions not by manipulating  
memory in a machine.


A trivial example:

Here's a function to append a list onto a list:

append :: [a] - [a] - [a]
append [] ys = ys
append (x:xs) ys = x:append xs ys

and here we run it (on paper, no machine required :) ) on a some lists  
by applying the above rules where the match:


Note: [1,2] is syntactic sugar for (1:(2:[]))

append [1,2] [3,4]
= { apply first pattern match equation }
1 : append [2] [3,4]
= { apply first pattern match equation }
1 : 2 : append [] [3,4]
= { apply second pattern match equation }
1 : 2 : [3,4]
= { just syntactic sugar }
[1,2,3,4]

I wouldn't be as bold as to suggest that Haskell should replace C but  
certainly it is a nice language to use in my opinion. Does it explain  
how a computer works? No. Does it explain 'computation'? Yes.