Re: [vdr] [ADMIN] linuxtv.org is moving
I demand that Johannes Stezenbach may or may not have written... > On Sat, Mar 28, 2009 at 04:05:55PM +, Darren Salt wrote: [snip] >> $ rm .hg/dirstate >> $ hg purge --all > Or better "hg update -C null". Useful :-) >> 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. True, but "hg clone" does. Although I see that it has an option "-U"... [M-F-T set, as usual.] -- | Darren Salt| linux or ds at | nr. Ashington, | Toon | RISC OS, Linux | youmustbejoking,demon,co,uk | Northumberland | Army | + Buy local produce. Try to walk or cycle. TRANSPORT CAUSES GLOBAL WARMING. Nothing is as useless as a general maxim. ___ vdr mailing list vdr@linuxtv.org http://www.linuxtv.org/cgi-bin/mailman/listinfo/vdr
Re: [vdr] [ADMIN] linuxtv.org is moving
On Sat, Mar 28, 2009 at 04:05:55PM +, Darren Salt wrote: > I demand that Antti Palosaari may or may not have written... > > [snip] > > [cr...@localhost v4l-dvb]$ hg push > > ssh://ant...@linuxtv.org/hg/~anttip/af9015 > > pushing to ssh://ant...@linuxtv.org/hg/~anttip/af9015 > > searching for changes > > remote: abort: No space left on device > > [cr...@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-me...@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 ___ vdr mailing list vdr@linuxtv.org http://www.linuxtv.org/cgi-bin/mailman/listinfo/vdr
Re: [vdr] [ADMIN] linuxtv.org is moving
I demand that Antti Palosaari may or may not have written... [snip] > [cr...@localhost v4l-dvb]$ hg push > ssh://ant...@linuxtv.org/hg/~anttip/af9015 > pushing to ssh://ant...@linuxtv.org/hg/~anttip/af9015 > searching for changes > remote: abort: No space left on device > [cr...@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 $ rm .hg/dirstate $ hg purge --all 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".) -- | Darren Salt| linux or ds at | nr. Ashington, | Toon | RISC OS, Linux | youmustbejoking,demon,co,uk | Northumberland | Army | + Buy local produce. Try to walk or cycle. TRANSPORT CAUSES GLOBAL WARMING. It is now pitch dark. If you proceed, you will likely fall into a pit. ___ vdr mailing list vdr@linuxtv.org http://www.linuxtv.org/cgi-bin/mailman/listinfo/vdr
Re: [vdr] [ADMIN] linuxtv.org is moving
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. [cr...@localhost v4l-dvb]$ hg push ssh://ant...@linuxtv.org/hg/~anttip/af9015 pushing to ssh://ant...@linuxtv.org/hg/~anttip/af9015 searching for changes remote: abort: No space left on device [cr...@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 -- http://palosaari.fi/ ___ vdr mailing list vdr@linuxtv.org http://www.linuxtv.org/cgi-bin/mailman/listinfo/vdr
Re: [vdr] [ADMIN] linuxtv.org is moving
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. Johannes ___ vdr mailing list vdr@linuxtv.org http://www.linuxtv.org/cgi-bin/mailman/listinfo/vdr