From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Hendrik Tews Newsgroups: gmane.emacs.bugs Subject: bug#12802: 23.4; feature wish: file-attributes in microsecond precision Date: Sun, 04 Nov 2012 23:18:05 +0100 Message-ID: <87hap51082.fsf@wallace.tews.net> NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: ger.gmane.org 1352067545 27419 80.91.229.3 (4 Nov 2012 22:19:05 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Sun, 4 Nov 2012 22:19:05 +0000 (UTC) To: 12802@debbugs.gnu.org Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Sun Nov 04 23:19:14 2012 Return-path: Envelope-to: geb-bug-gnu-emacs@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1TV8XC-000712-6n for geb-bug-gnu-emacs@m.gmane.org; Sun, 04 Nov 2012 23:19:14 +0100 Original-Received: from localhost ([::1]:46014 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1TV8X3-0004BN-Bl for geb-bug-gnu-emacs@m.gmane.org; Sun, 04 Nov 2012 17:19:05 -0500 Original-Received: from eggs.gnu.org ([208.118.235.92]:55372) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1TV8X0-0004BF-Gj for bug-gnu-emacs@gnu.org; Sun, 04 Nov 2012 17:19:03 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1TV8Wz-0005JF-Eo for bug-gnu-emacs@gnu.org; Sun, 04 Nov 2012 17:19:02 -0500 Original-Received: from debbugs.gnu.org ([140.186.70.43]:39118) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1TV8Wz-0005JA-CH for bug-gnu-emacs@gnu.org; Sun, 04 Nov 2012 17:19:01 -0500 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.72) (envelope-from ) id 1TV8Zu-0001em-OW for bug-gnu-emacs@gnu.org; Sun, 04 Nov 2012 17:22:02 -0500 X-Loop: help-debbugs@gnu.org Resent-From: Hendrik Tews Original-Sender: debbugs-submit-bounces@debbugs.gnu.org Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Sun, 04 Nov 2012 22:22:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 12802 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: X-Debbugs-Original-To: bug-gnu-emacs@gnu.org Original-Received: via spool by submit@debbugs.gnu.org id=B.13520677096349 (code B ref -1); Sun, 04 Nov 2012 22:22:02 +0000 Original-Received: (at submit) by debbugs.gnu.org; 4 Nov 2012 22:21:49 +0000 Original-Received: from localhost ([127.0.0.1]:49369 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.72) (envelope-from ) id 1TV8ZV-0001eA-HQ for submit@debbugs.gnu.org; Sun, 04 Nov 2012 17:21:49 -0500 Original-Received: from eggs.gnu.org ([208.118.235.92]:38975) by debbugs.gnu.org with esmtp (Exim 4.72) (envelope-from ) id 1TV8ZT-0001e2-BK for submit@debbugs.gnu.org; Sun, 04 Nov 2012 17:21:36 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1TV8WW-0005De-IM for submit@debbugs.gnu.org; Sun, 04 Nov 2012 17:18:33 -0500 Original-Received: from lists.gnu.org ([208.118.235.17]:55366) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1TV8WW-0005Da-F4 for submit@debbugs.gnu.org; Sun, 04 Nov 2012 17:18:32 -0500 Original-Received: from eggs.gnu.org ([208.118.235.92]:55240) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1TV8WV-00041f-HR for bug-gnu-emacs@gnu.org; Sun, 04 Nov 2012 17:18:32 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1TV8WU-0005DM-NX for bug-gnu-emacs@gnu.org; Sun, 04 Nov 2012 17:18:31 -0500 Original-Received: from srv4.sysproserver.de ([78.138.89.57]:45652) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1TV8WU-0005BL-Gz for bug-gnu-emacs@gnu.org; Sun, 04 Nov 2012 17:18:30 -0500 Original-Received: from wallace.tews.net (146-52-58-47-dynip.superkabel.de [146.52.58.47]) (using TLSv1 with cipher DHE-RSA-AES128-SHA (128/128 bits)) (No client certificate requested) by srv4.sysproserver.de (Postfix) with ESMTPSA id 9CEFFA14036; Sun, 4 Nov 2012 23:18:11 +0100 (CET) Original-Received: from tews by wallace.tews.net with local (Exim 4.80) (envelope-from ) id 1TV8W6-0001YO-Hc; Sun, 04 Nov 2012 23:18:06 +0100 X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6.x X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6.x X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.13 Precedence: list X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6.x X-Received-From: 140.186.70.43 X-BeenThere: bug-gnu-emacs@gnu.org List-Id: "Bug reports for GNU Emacs, the Swiss army knife of text editors" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Original-Sender: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Xref: news.gmane.org gmane.emacs.bugs:66452 Archived-At: Hi, please make file access/modification/status change times available in microsecond precision on those systems that support that. Motivation: I am maintaining an extension of Proof General that compiles Coq source files to Coq object files on the fly when needed. For that I have to compare file modification times in a way similar to make. I would really like to do this with a precision better than 1 second. Thanks in advance, Hendrik Tews