Dear sage-devel, I love the attach command, but since more than a year, the attach command detaches my file almost each time I save it. I am using vim. Do emacs people get the same problem? Is it because when vim writes to the file, the file gets "deleted" temporarily? Does the attach command check the existence of the file 40 times each second?
The file is detached on the 4th save: sage: %attach code.sage sage: ### reloading attached file code.sage modified at 08:48:16 ### ### reloading attached file code.sage modified at 08:48:18 ### ### reloading attached file code.sage modified at 08:48:19 ### sage: ### detaching file code.sage because it does not exist (deleted?) ### The file is detached on the 2nd save: sage: %attach code.sage ### reloading attached file code.sage modified at 08:48:31 ### sage: ### detaching file code.sage because it does not exist (deleted?) ### The file is detached on the 2nd save: sage: %attach code.sage ### reloading attached file code.sage modified at 08:48:48 ### sage: ### detaching file code.sage because it does not exist (deleted?) ### The file is detached on the 2nd save: sage: %attach code.sage ### reloading attached file code.sage modified at 08:48:53 ### sage: ### detaching file code.sage because it does not exist (deleted?) ### The file is detached on the 8th save: sage: %attach code.sage ### reloading attached file code.sage modified at 08:49:01 ### ### reloading attached file code.sage modified at 08:49:03 ### ### reloading attached file code.sage modified at 08:49:04 ### ### reloading attached file code.sage modified at 08:49:05 ### ### reloading attached file code.sage modified at 08:49:06 ### ### reloading attached file code.sage modified at 08:49:08 ### ### reloading attached file code.sage modified at 08:49:09 ### sage: ### detaching file code.sage because it does not exist (deleted?) ### Sébastien -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
