Johannes Stezenbach wrote:

On Wed, Mar 25, 2009 at 05:25:41PM +0100, Johannes Stezenbach wrote:

...

linuxtv.org will move to a new server machine tomorrow. Expect some downtime during the move and please be patient. Everything on the old machine will be rsynced to the new machine right before the switch so nothing should get lost.

The move is done, but the DNS updates are not out there yet, so especially mail won't work yet until the caches are updated, but everything else should.

The new IP address is 217.160.6.122.

[crope@localhost v4l-dvb]$ hg push ssh://anttip@linuxtv.org/hg/~anttip/af9015 pushing to ssh://anttip@linuxtv.org/hg/~anttip/af9015 searching for changes remote: abort: No space left on device [crope@localhost v4l-dvb]$ host linuxtv.org linuxtv.org has address 217.160.6.122

I removed 5-6 my old devel trees, still no space :o

regards Antti

On Sat, Mar 28, 2009 at 04:05:55PM +0000, Darren Salt wrote:

I demand that Antti Palosaari may or may not have written...

[snip]

...

[crope@localhost v4l-dvb]$ hg push ssh://anttip@linuxtv.org/hg/~anttip/af9015 pushing to ssh://anttip@linuxtv.org/hg/~anttip/af9015 searching for changes remote: abort: No space left on device [crope@localhost v4l-dvb]$ host linuxtv.org linuxtv.org has address 217.160.6.122

...

I removed 5-6 my old devel trees, still no space :o

Most likely off-topic on this list, but this was solved, see: http://www.mail-archive.com/linux-media@vger.kernel.org/msg03569.html

$ rm .hg/dirstate $ hg purge --all

Or better "hg update -C null".

That gets rid of the working tree but retains all of the data necessary for use in a repository in which no actual development work takes place. (The working tree can be recreated, if needed, with "hg update".)

"hg push" doesn't create a working tree at the destination, thus there's nothing to get rid of.

Johannes