git/list[1] front-page[2] threads[3] people[4] search[5] about
 

[PATCH 0/4] Gitk Inotify support

From
Florian Schüller <florian.schueller@gmail.com>
Date
Mar 8, 2017, 20:52 UTC
Message-ID
<20170308205255.18976-1-florian.schueller@gmail.com>
Inotify Support
    
    Just automatically update gitk when working in a terminal on the same repo
    
    Features:
    * Detects inotify support
      if inotify is not detected the options is not available
      in the preferences
    * Enable/Disable auto update in the preferences
    * Select "debounce" time for redraw
      i.e. the redraw will be postponed for the given time.
      if a new change is detected in this time the redraw is postponed
      even more
    * Automatically scroll to the new HEAD after redrawing
    * Depending on the type of change the UI is "Updated" or "Reloaded"
    
    Open points for now:
    * release watches for deleted directories seems to
      cause problems in tcl-inotify (so I don't)
      I'm not sure how often that happens in ".git/"
    
Signed-off-by: Florian Schüller <florian.schueller@gmail.com>
Florian Schüller (4):
  Inotify Support
  Update of German translation
  Updated de-Translator
  ignore backup files
 .gitignore |   2 +
 gitk       | 171 +++++++++++++++-
 po/de.po   | 684 +++++++++++++++++++++++++++++++++----------------------------
 3 files changed, 540 insertions(+), 317 deletions(-)
-- 
2.9.3
Next: Florian Schüller
Message 1 of 5 in “Gitk Inotify support”
  1. 0/4 Gitk Inotify supportFlorian Schüller, Mar 8, 2017
  2. 3/4 Updated de-TranslatorFlorian Schüller, Mar 8, 2017
  3. 1/4 Inotify SupportFlorian Schüller, Mar 8, 2017
  4. 2/4 Update of German translationFlorian Schüller, Mar 8, 2017
  5. 4/4 ignore backup filesFlorian Schüller, Mar 8, 2017

Read the whole thread, see it on lore, or plain text.

$ cat FOOTERMessages come from the public archive at lore.kernel.org/git, fetched every hour. The front page is chosen and written each morning by an AI editor and can be wrong; the threads themselves are the record. About and API. For agents: an MCP server at https://gitlist.dev/mcp, and any thread, story or person page as Markdown by adding .md to its URL (or sending Accept: text/markdown). Details in /llms.txt.