← Back to team overview

instant team mailing list archive

Thread
Date

Clean

To: Discussion of Instant development <instant-dev@xxxxxxxxxx>
From: Anders Logg <logg@xxxxxxxxx>
Date: Sun, 30 Dec 2007 10:15:20 +0100
Delivered-to: instant-dev@xxxxxxxxxx
User-agent: Mutt/1.5.15+20070412 (2007-04-11)

Maybe Instant could include a script named instant-clean (or similar).
Just something like

  #!/bin/sh

  echo 'Removing temporary Instant files'
  rm -r /tmp/instant /home/$HOME/.instant

?

-- 
Anders