Subject: [Instant-dev] Bug in instant-clean

From: Anders Logg <[email-masked]>
Date: Thu, 4 Sep 2008 16:24:46 +0200

rm: kan inte ta bort "/tmp/instant": Filen eller katalogen finns inte

-- 
Anders

---

From: "Martin Sandve Alnæs" <[email-masked]>
Date: Thu, 4 Sep 2008 16:30:22 +0200

How do you get this? /tmp/instant isn't used anymore.

-- 
Martin

2008/9/4 Anders Logg <[email-masked]>:
> -----BEGIN PGP SIGNATURE-----
> Version: GnuPG v1.4.6 (GNU/Linux)
>
> iD8DBQFIv++uTuwUCDsYZdERAmccAJ0atYM01pw4KufLPKrm2KhCBMVYbwCfcoYe
> dZAl7IJgTPXeb/BrBEn3Fgs=
> =9/qn
> -----END PGP SIGNATURE-----
>
> _______________________________________________
> Instant-dev mailing list
> [email-masked]
> http://fenics.org/mailman/listinfo/instant-dev
>
>

---

From: Anders Logg <[email-masked]>
Date: Thu, 4 Sep 2008 16:35:28 +0200

> How do you get this? /tmp/instant isn't used anymore.

By calling instant-clean.

# instant-clean
Removing temporary Instant files
rm: kan inte ta bort "/tmp/instant": Filen eller katalogen finns inte

-- 
Anders

---

From: "Martin Sandve Alnæs" <[email-masked]>
Date: Thu, 4 Sep 2008 16:39:35 +0200

Check your path. That text isn't in the script.

2008/9/4 Anders Logg <[email-masked]>:
> iD8DBQFIv/IwTuwUCDsYZdERAiCEAJ0b+Zq1VkGGmpVUGd+LjcnO7B4fwgCgiyq5
> ew0RzDkHztUqtoLHxhiKt9s=
> =kkaH

-- 
Martin

---

From: Anders Logg <[email-masked]>
Date: Thu, 4 Sep 2008 17:04:11 +0200

> Check your path. That text isn't in the script.

Thanks. I had an old version of instant-clean lying around.

-- 
Anders