1
#!/usr/bin/python3 -bbI
2
2
# -*- mode: python; coding: utf-8 -*-
4
4
# Mandos Monitor - Control and monitor the Mandos server
6
# Copyright © 2009-2019 Teddy Hogeborn
7
# Copyright © 2009-2019 Björn Påhlsson
9
# This file is part of Mandos.
11
# Mandos is free software: you can redistribute it and/or modify it
12
# under the terms of the GNU General Public License as published by
6
# Copyright © 2009-2012 Teddy Hogeborn
7
# Copyright © 2009-2012 Björn Påhlsson
9
# This program is free software: you can redistribute it and/or modify
10
# it under the terms of the GNU General Public License as published by
13
11
# the Free Software Foundation, either version 3 of the License, or
14
12
# (at your option) any later version.
16
# Mandos is distributed in the hope that it will be useful, but
17
# WITHOUT ANY WARRANTY; without even the implied warranty of
14
# This program is distributed in the hope that it will be useful,
15
# but WITHOUT ANY WARRANTY; without even the implied warranty of
18
16
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
19
17
# GNU General Public License for more details.
21
19
# You should have received a copy of the GNU General Public License
22
# along with Mandos. If not, see <http://www.gnu.org/licenses/>.
20
# along with this program. If not, see
21
# <http://www.gnu.org/licenses/>.
24
23
# Contact the authors at <mandos@recompile.se>.
26
26
from __future__ import (division, absolute_import, print_function,
30
from future_builtins import *
29
from future_builtins import *
41
37
import urwid.curses_display
44
40
from dbus.mainloop.glib import DBusGMainLoop
45
from gi.repository import GLib
49
if sys.version_info.major == 2:
54
# Show warnings by default
55
if not sys.warnoptions:
56
warnings.simplefilter("default")
58
log = logging.getLogger(os.path.basename(sys.argv[0]))
59
logging.basicConfig(level="NOTSET", # Show all messages
60
format="%(message)s") # Show basic log messages
62
logging.captureWarnings(True) # Show warnings via the logging system
64
locale.setlocale(locale.LC_ALL, "")
66
logging.getLogger("dbus.proxies").setLevel(logging.CRITICAL)
67
logging.getLogger("urwid").setLevel(logging.INFO)
49
locale.setlocale(locale.LC_ALL, '')
52
logging.getLogger('dbus.proxies').setLevel(logging.CRITICAL)
69
54
# Some useful constants
70
domain = "se.recompile"
71
server_interface = domain + ".Mandos"
72
client_interface = domain + ".Mandos.Client"
76
dbus.OBJECT_MANAGER_IFACE
77
except AttributeError:
78
dbus.OBJECT_MANAGER_IFACE = "org.freedesktop.DBus.ObjectManager"
55
domain = 'se.recompile'
56
server_interface = domain + '.Mandos'
57
client_interface = domain + '.Mandos.Client'
60
# Always run in monochrome mode
61
urwid.curses_display.curses.has_colors = lambda : False
63
# Urwid doesn't support blinking, but we want it. Since we have no
64
# use for underline on its own, we make underline also always blink.
65
urwid.curses_display.curses.A_UNDERLINE |= (
66
urwid.curses_display.curses.A_BLINK)
81
68
def isoformat_to_datetime(iso):
82
69
"Parse an ISO 8601 date string to a datetime.datetime()"
94
int(second), # Whole seconds
95
int(fraction*1000000)) # Microseconds
98
class MandosClientPropertyCache:
81
int(second), # Whole seconds
82
int(fraction*1000000)) # Microseconds
84
class MandosClientPropertyCache(object):
99
85
"""This wraps a Mandos Client D-Bus proxy object, caches the
100
86
properties and calls a hook function when any of them are
103
89
def __init__(self, proxy_object=None, properties=None, **kwargs):
104
self.proxy = proxy_object # Mandos Client proxy object
90
self.proxy = proxy_object # Mandos Client proxy object
105
91
self.properties = dict() if properties is None else properties
106
92
self.property_changed_match = (
107
self.proxy.connect_to_signal("PropertiesChanged",
108
self.properties_changed,
109
dbus.PROPERTIES_IFACE,
93
self.proxy.connect_to_signal("PropertyChanged",
94
self._property_changed,
110
96
byte_arrays=True))
112
98
if properties is None:
113
self.properties.update(self.proxy.GetAll(
115
dbus_interface=dbus.PROPERTIES_IFACE))
99
self.properties.update(
100
self.proxy.GetAll(client_interface,
102
= dbus.PROPERTIES_IFACE))
117
104
super(MandosClientPropertyCache, self).__init__(**kwargs)
119
def properties_changed(self, interface, properties, invalidated):
120
"""This is called whenever we get a PropertiesChanged signal
121
It updates the changed properties in the "properties" dict.
106
def _property_changed(self, property, value):
107
"""Helper which takes positional arguments"""
108
return self.property_changed(property=property, value=value)
110
def property_changed(self, property=None, value=None):
111
"""This is called whenever we get a PropertyChanged signal
112
It updates the changed property in the "properties" dict.
123
114
# Update properties dict with new value
124
if interface == client_interface:
125
self.properties.update(properties)
115
self.properties[property] = value
127
117
def delete(self):
128
118
self.property_changed_match.remove()
173
165
client_interface,
174
166
byte_arrays=True))
175
log.debug("Created client %s", self.properties["Name"])
167
#self.logger('Created client {0}'
168
# .format(self.properties["Name"]))
177
170
def using_timer(self, flag):
178
171
"""Call this method with True or False when timer should be
179
172
activated or deactivated.
181
174
if flag and self._update_timer_callback_tag is None:
182
175
# Will update the shown timer value every second
183
self._update_timer_callback_tag = (
184
GLib.timeout_add(1000,
185
glib_safely(self.update_timer)))
176
self._update_timer_callback_tag = (gobject.timeout_add
186
179
elif not (flag or self._update_timer_callback_tag is None):
187
GLib.source_remove(self._update_timer_callback_tag)
180
gobject.source_remove(self._update_timer_callback_tag)
188
181
self._update_timer_callback_tag = None
190
183
def checker_completed(self, exitstatus, condition, command):
191
184
if exitstatus == 0:
192
log.debug('Checker for client %s (command "%s")'
193
" succeeded", self.properties["Name"], command)
197
188
if os.WIFEXITED(condition):
198
log.info('Checker for client %s (command "%s") failed'
199
" with exit code %d", self.properties["Name"],
200
command, os.WEXITSTATUS(condition))
189
self.logger('Checker for client {0} (command "{1}")'
190
' failed with exit code {2}'
191
.format(self.properties["Name"], command,
192
os.WEXITSTATUS(condition)))
201
193
elif os.WIFSIGNALED(condition):
202
log.info('Checker for client %s (command "%s") was'
203
" killed by signal %d", self.properties["Name"],
204
command, os.WTERMSIG(condition))
194
self.logger('Checker for client {0} (command "{1}") was'
195
' killed by signal {2}'
196
.format(self.properties["Name"], command,
197
os.WTERMSIG(condition)))
198
elif os.WCOREDUMP(condition):
199
self.logger('Checker for client {0} (command "{1}")'
201
.format(self.properties["Name"], command))
203
self.logger('Checker for client {0} completed'
205
.format(self.properties["Name"]))
207
208
def checker_started(self, command):
208
"""Server signals that a checker started."""
209
log.debug('Client %s started checker "%s"',
210
self.properties["Name"], command)
209
"""Server signals that a checker started. This could be useful
210
to log in the future. """
211
#self.logger('Client {0} started checker "{1}"'
212
# .format(self.properties["Name"],
212
216
def got_secret(self):
213
log.info("Client %s received its secret",
214
self.properties["Name"])
217
self.logger('Client {0} received its secret'
218
.format(self.properties["Name"]))
216
220
def need_approval(self, timeout, default):
218
message = "Client %s needs approval within %f seconds"
222
message = 'Client {0} needs approval within {1} seconds'
220
message = "Client %s will get its secret in %f seconds"
221
log.info(message, self.properties["Name"], timeout/1000)
224
message = 'Client {0} will get its secret in {1} seconds'
225
self.logger(message.format(self.properties["Name"],
223
228
def rejected(self, reason):
224
log.info("Client %s was rejected; reason: %s",
225
self.properties["Name"], reason)
229
self.logger('Client {0} was rejected; reason: {1}'
230
.format(self.properties["Name"], reason))
227
232
def selectable(self):
228
233
"""Make this a "selectable" widget.
229
234
This overrides the method from urwid.FlowWidget."""
232
237
def rows(self, maxcolrow, focus=False):
233
238
"""How many rows this widget will occupy might depend on
234
239
whether we have focus or not.
235
240
This overrides the method from urwid.FlowWidget"""
236
241
return self.current_widget(focus).rows(maxcolrow, focus=focus)
238
243
def current_widget(self, focus=False):
239
244
if focus or self.opened:
240
245
return self._focus_widget
241
246
return self._widget
243
248
def update(self):
244
249
"Called when what is visible on the screen should be updated."
245
250
# How to add standout mode to a style
246
with_standout = {"normal": "standout",
247
"bold": "bold-standout",
249
"underline-blink-standout",
250
"bold-underline-blink":
251
"bold-underline-blink-standout",
251
with_standout = { "normal": "standout",
252
"bold": "bold-standout",
254
"underline-blink-standout",
255
"bold-underline-blink":
256
"bold-underline-blink-standout",
254
259
# Rebuild focus and non-focus widgets using current properties
256
261
# Base part of a client. Name!
257
base = "{name}: ".format(name=self.properties["Name"])
262
base = '{name}: '.format(name=self.properties["Name"])
258
263
if not self.properties["Enabled"]:
259
264
message = "DISABLED"
260
265
self.using_timer(False)
261
266
elif self.properties["ApprovalPending"]:
262
timeout = datetime.timedelta(
263
milliseconds=self.properties["ApprovalDelay"])
267
timeout = datetime.timedelta(milliseconds
264
270
last_approval_request = isoformat_to_datetime(
265
271
self.properties["LastApprovalRequest"])
266
272
if last_approval_request is not None:
327
332
if self.delete_hook is not None:
328
333
self.delete_hook(self)
329
334
return super(MandosClientWidget, self).delete(**kwargs)
331
336
def render(self, maxcolrow, focus=False):
332
337
"""Render differently if we have focus.
333
338
This overrides the method from urwid.FlowWidget"""
334
339
return self.current_widget(focus).render(maxcolrow,
337
342
def keypress(self, maxcolrow, key):
339
344
This overrides the method from urwid.FlowWidget"""
341
self.proxy.Set(client_interface, "Enabled",
342
dbus.Boolean(True), ignore_reply=True,
343
dbus_interface=dbus.PROPERTIES_IFACE)
346
self.proxy.Enable(dbus_interface = client_interface,
345
self.proxy.Set(client_interface, "Enabled", False,
347
dbus_interface=dbus.PROPERTIES_IFACE)
349
self.proxy.Disable(dbus_interface = client_interface,
349
352
self.proxy.Approve(dbus.Boolean(True, variant_level=1),
350
dbus_interface=client_interface,
353
dbus_interface = client_interface,
351
354
ignore_reply=True)
353
356
self.proxy.Approve(dbus.Boolean(False, variant_level=1),
354
dbus_interface=client_interface,
357
dbus_interface = client_interface,
355
358
ignore_reply=True)
356
359
elif key == "R" or key == "_" or key == "ctrl k":
357
360
self.server_proxy_object.RemoveClient(self.proxy
359
362
ignore_reply=True)
361
self.proxy.Set(client_interface, "CheckerRunning",
362
dbus.Boolean(True), ignore_reply=True,
363
dbus_interface=dbus.PROPERTIES_IFACE)
364
self.proxy.StartChecker(dbus_interface = client_interface,
365
self.proxy.Set(client_interface, "CheckerRunning",
366
dbus.Boolean(False), ignore_reply=True,
367
dbus_interface=dbus.PROPERTIES_IFACE)
367
self.proxy.StopChecker(dbus_interface = client_interface,
369
self.proxy.CheckedOK(dbus_interface=client_interface,
370
self.proxy.CheckedOK(dbus_interface = client_interface,
370
371
ignore_reply=True)
372
373
# elif key == "p" or key == "=":
381
def properties_changed(self, interface, properties, invalidated):
382
"""Call self.update() if any properties changed.
382
def property_changed(self, property=None, **kwargs):
383
"""Call self.update() if old value is not new value.
383
384
This overrides the method from MandosClientPropertyCache"""
384
old_values = {key: self.properties.get(key)
385
for key in properties.keys()}
386
super(MandosClientWidget, self).properties_changed(
387
interface, properties, invalidated)
388
if any(old_values[key] != self.properties.get(key)
389
for key in old_values):
385
property_name = unicode(property)
386
old_value = self.properties.get(property_name)
387
super(MandosClientWidget, self).property_changed(
388
property=property, **kwargs)
389
if self.properties.get(property_name) != old_value:
393
def glib_safely(func, retval=True):
394
def safe_func(*args, **kwargs):
396
return func(*args, **kwargs)
403
393
class ConstrainedListBox(urwid.ListBox):
404
394
"""Like a normal urwid.ListBox, but will consume all "up" or
405
395
"down" key presses, thus not allowing any containing widgets to
406
396
use them as an excuse to shift focus away from this widget.
408
398
def keypress(self, *args, **kwargs):
409
ret = (super(ConstrainedListBox, self)
410
.keypress(*args, **kwargs))
399
ret = super(ConstrainedListBox, self).keypress(*args, **kwargs)
411
400
if ret in ("up", "down"):
405
class UserInterface(object):
417
406
"""This is the entire user interface - the whole screen
418
407
with boxes, lists of client widgets, etc.
420
409
def __init__(self, max_log_length=1000):
421
410
DBusGMainLoop(set_as_default=True)
423
412
self.screen = urwid.curses_display.Screen()
425
414
self.screen.register_palette((
427
416
"default", "default", None),
429
"bold", "default", "bold"),
418
"default", "default", "bold"),
430
419
("underline-blink",
431
"underline,blink", "default", "underline,blink"),
420
"default", "default", "underline"),
433
"standout", "default", "standout"),
422
"default", "default", "standout"),
434
423
("bold-underline-blink",
435
"bold,underline,blink", "default",
436
"bold,underline,blink"),
424
"default", "default", ("bold", "underline")),
437
425
("bold-standout",
438
"bold,standout", "default", "bold,standout"),
426
"default", "default", ("bold", "standout")),
439
427
("underline-blink-standout",
440
"underline,blink,standout", "default",
441
"underline,blink,standout"),
428
"default", "default", ("underline", "standout")),
442
429
("bold-underline-blink-standout",
443
"bold,underline,blink,standout", "default",
444
"bold,underline,blink,standout"),
430
"default", "default", ("bold", "underline",
447
434
if urwid.supports_unicode():
448
self.divider = "─" # \u2500
435
self.divider = "─" # \u2500
436
#self.divider = "━" # \u2501
450
self.divider = "_" # \u005f
438
#self.divider = "-" # \u002d
439
self.divider = "_" # \u005f
452
441
self.screen.start()
454
443
self.size = self.screen.get_cols_rows()
456
445
self.clients = urwid.SimpleListWalker([])
457
446
self.clients_dict = {}
459
448
# We will add Text widgets to this list
460
self.log = urwid.SimpleListWalker([])
461
450
self.max_log_length = max_log_length
463
452
# We keep a reference to the log widget so we can remove it
464
453
# from the ListWalker without it getting destroyed
465
454
self.logbox = ConstrainedListBox(self.log)
467
456
# This keeps track of whether self.uilist currently has
468
457
# self.logbox in it or not
469
458
self.log_visible = True
470
459
self.log_wrap = "any"
472
self.loghandler = UILogHandler(self)
475
self.add_log_line(("bold",
476
"Mandos Monitor version " + version))
477
self.add_log_line(("bold", "q: Quit ?: Help"))
479
self.busname = domain + ".Mandos"
480
self.main_loop = GLib.MainLoop()
482
def client_not_found(self, key_id, address):
483
log.info("Client with address %s and key ID %s could"
484
" not be found", address, key_id)
462
self.log_message_raw(("bold",
463
"Mandos Monitor version " + version))
464
self.log_message_raw(("bold",
467
self.busname = domain + '.Mandos'
468
self.main_loop = gobject.MainLoop()
470
def client_not_found(self, fingerprint, address):
471
self.log_message("Client with address {0} and fingerprint"
472
" {1} could not be found"
473
.format(address, fingerprint))
486
475
def rebuild(self):
487
476
"""This rebuilds the User Interface.
488
477
Call this when the widget layout needs to change"""
490
# self.uilist.append(urwid.ListBox(self.clients))
479
#self.uilist.append(urwid.ListBox(self.clients))
491
480
self.uilist.append(urwid.Frame(ConstrainedListBox(self.
493
# header=urwid.Divider(),
482
#header=urwid.Divider(),
495
footer=urwid.Divider(
496
div_char=self.divider)))
485
urwid.Divider(div_char=
497
487
if self.log_visible:
498
488
self.uilist.append(self.logbox)
499
489
self.topwidget = urwid.Pile(self.uilist)
501
def add_log_line(self, markup):
491
def log_message(self, message):
492
timestamp = datetime.datetime.now().isoformat()
493
self.log_message_raw(timestamp + ": " + message)
495
def log_message_raw(self, markup):
496
"""Add a log message to the log buffer."""
502
497
self.log.append(urwid.Text(markup, wrap=self.log_wrap))
503
if self.max_log_length:
504
if len(self.log) > self.max_log_length:
505
del self.log[0:(len(self.log) - self.max_log_length)]
506
self.logbox.set_focus(len(self.logbox.body.contents)-1,
498
if (self.max_log_length
499
and len(self.log) > self.max_log_length):
500
del self.log[0:len(self.log)-self.max_log_length-1]
501
self.logbox.set_focus(len(self.logbox.body.contents),
507
502
coming_from="above")
510
505
def toggle_log_display(self):
511
506
"""Toggle visibility of the log buffer."""
512
507
self.log_visible = not self.log_visible
514
log.debug("Log visibility changed to: %s", self.log_visible)
509
#self.log_message("Log visibility changed to: "
510
# + unicode(self.log_visible))
516
512
def change_log_display(self):
517
513
"""Change type of log display.
518
514
Currently, this toggles wrapping of text lines."""
522
518
self.log_wrap = "clip"
523
519
for textwidget in self.log:
524
520
textwidget.set_wrap_mode(self.log_wrap)
525
log.debug("Wrap mode: %s", self.log_wrap)
527
def find_and_remove_client(self, path, interfaces):
521
#self.log_message("Wrap mode: " + self.log_wrap)
523
def find_and_remove_client(self, path, name):
528
524
"""Find a client by its object path and remove it.
530
This is connected to the InterfacesRemoved signal from the
526
This is connected to the ClientRemoved signal from the
531
527
Mandos server object."""
532
if client_interface not in interfaces:
533
# Not a Mandos client object; ignore
536
529
client = self.clients_dict[path]
539
log.warning("Unknown client %s removed", path)
532
self.log_message("Unknown client {0!r} ({1!r}) removed"
543
def add_new_client(self, path, ifs_and_props):
544
"""Find a client by its object path and remove it.
546
This is connected to the InterfacesAdded signal from the
547
Mandos server object.
549
if client_interface not in ifs_and_props:
550
# Not a Mandos client object; ignore
537
def add_new_client(self, path):
552
538
client_proxy_object = self.bus.get_object(self.busname, path)
553
self.add_client(MandosClientWidget(
554
server_proxy_object=self.mandos_serv,
555
proxy_object=client_proxy_object,
556
update_hook=self.refresh,
557
delete_hook=self.remove_client,
558
properties=dict(ifs_and_props[client_interface])),
539
self.add_client(MandosClientWidget(server_proxy_object
542
=client_proxy_object,
561
551
def add_client(self, client, path=None):
562
552
self.clients.append(client)
564
554
path = client.proxy.object_path
565
555
self.clients_dict[path] = client
566
self.clients.sort(key=lambda c: c.properties["Name"])
556
self.clients.sort(None, lambda c: c.properties["Name"])
569
559
def remove_client(self, client, path=None):
570
560
self.clients.remove(client)
572
562
path = client.proxy.object_path
573
563
del self.clients_dict[path]
564
if not self.clients_dict:
565
# Work around bug in Urwid 0.9.8.3 - if a SimpleListWalker
566
# is completely emptied, we need to recreate it.
567
self.clients = urwid.SimpleListWalker([])
576
571
def refresh(self):
577
572
"""Redraw the screen"""
578
573
canvas = self.topwidget.render(self.size, focus=True)
579
574
self.screen.draw_screen(self.size, canvas)
582
577
"""Start the main loop and exit when it's done."""
583
log.addHandler(self.loghandler)
584
self.orig_log_propagate = log.propagate
585
log.propagate = False
586
self.orig_log_level = log.level
588
578
self.bus = dbus.SystemBus()
589
579
mandos_dbus_objc = self.bus.get_object(
590
580
self.busname, "/", follow_name_owner_changes=True)
591
self.mandos_serv = dbus.Interface(
592
mandos_dbus_objc, dbus_interface=server_interface)
581
self.mandos_serv = dbus.Interface(mandos_dbus_objc,
594
585
mandos_clients = (self.mandos_serv
595
586
.GetAllClientsWithProperties())
596
if not mandos_clients:
597
log.warning("Note: Server has no clients.")
598
587
except dbus.exceptions.DBusException:
599
log.warning("Note: No Mandos server running.")
600
588
mandos_clients = dbus.Dictionary()
602
590
(self.mandos_serv
603
.connect_to_signal("InterfacesRemoved",
591
.connect_to_signal("ClientRemoved",
604
592
self.find_and_remove_client,
605
dbus_interface=dbus.OBJECT_MANAGER_IFACE,
593
dbus_interface=server_interface,
606
594
byte_arrays=True))
607
595
(self.mandos_serv
608
.connect_to_signal("InterfacesAdded",
596
.connect_to_signal("ClientAdded",
609
597
self.add_new_client,
610
dbus_interface=dbus.OBJECT_MANAGER_IFACE,
598
dbus_interface=server_interface,
611
599
byte_arrays=True))
612
600
(self.mandos_serv
613
601
.connect_to_signal("ClientNotFound",
614
602
self.client_not_found,
615
603
dbus_interface=server_interface,
616
604
byte_arrays=True))
617
for path, client in mandos_clients.items():
605
for path, client in mandos_clients.iteritems():
618
606
client_proxy_object = self.bus.get_object(self.busname,
620
self.add_client(MandosClientWidget(
621
server_proxy_object=self.mandos_serv,
622
proxy_object=client_proxy_object,
624
update_hook=self.refresh,
625
delete_hook=self.remove_client),
608
self.add_client(MandosClientWidget(server_proxy_object
611
=client_proxy_object,
629
self._input_callback_tag = (
631
GLib.IOChannel.unix_new(sys.stdin.fileno()),
632
GLib.PRIORITY_DEFAULT, GLib.IO_IN,
633
glib_safely(self.process_input)))
622
self._input_callback_tag = (gobject.io_add_watch
634
626
self.main_loop.run()
635
627
# Main loop has finished, we should close everything now
636
GLib.source_remove(self._input_callback_tag)
637
with warnings.catch_warnings():
638
warnings.simplefilter("ignore", BytesWarning)
628
gobject.source_remove(self._input_callback_tag)
642
632
self.main_loop.quit()
643
log.removeHandler(self.loghandler)
644
log.propagate = self.orig_log_propagate
646
634
def process_input(self, source, condition):
647
635
keys = self.screen.get_input()
648
translations = {"ctrl n": "down", # Emacs
649
"ctrl p": "up", # Emacs
650
"ctrl v": "page down", # Emacs
651
"meta v": "page up", # Emacs
652
" ": "page down", # less
653
"f": "page down", # less
654
"b": "page up", # less
636
translations = { "ctrl n": "down", # Emacs
637
"ctrl p": "up", # Emacs
638
"ctrl v": "page down", # Emacs
639
"meta v": "page up", # Emacs
640
" ": "page down", # less
641
"f": "page down", # less
642
"b": "page up", # less
660
648
key = translations[key]
661
649
except KeyError: # :-)
664
652
if key == "q" or key == "Q":
667
655
elif key == "window resize":
668
656
self.size = self.screen.get_cols_rows()
670
elif key == "ctrl l":
658
elif key == "\f": # Ctrl-L
673
660
elif key == "l" or key == "D":
674
661
self.toggle_log_display()
707
693
self.topwidget.set_focus(self.logbox)
710
if log.level < logging.INFO:
711
log.setLevel(logging.INFO)
712
log.info("Verbose mode: Off")
714
log.setLevel(logging.NOTSET)
715
log.info("Verbose mode: On")
716
# elif (key == "end" or key == "meta >" or key == "G"
718
# pass # xxx end-of-buffer
719
# elif (key == "home" or key == "meta <" or key == "g"
721
# pass # xxx beginning-of-buffer
722
# elif key == "ctrl e" or key == "$":
723
# pass # xxx move-end-of-line
724
# elif key == "ctrl a" or key == "^":
725
# pass # xxx move-beginning-of-line
726
# elif key == "ctrl b" or key == "meta (" or key == "h":
728
# elif key == "ctrl f" or key == "meta )" or key == "l":
731
# pass # scroll up log
733
# pass # scroll down log
695
#elif (key == "end" or key == "meta >" or key == "G"
697
# pass # xxx end-of-buffer
698
#elif (key == "home" or key == "meta <" or key == "g"
700
# pass # xxx beginning-of-buffer
701
#elif key == "ctrl e" or key == "$":
702
# pass # xxx move-end-of-line
703
#elif key == "ctrl a" or key == "^":
704
# pass # xxx move-beginning-of-line
705
#elif key == "ctrl b" or key == "meta (" or key == "h":
707
#elif key == "ctrl f" or key == "meta )" or key == "l":
710
# pass # scroll up log
712
# pass # scroll down log
734
713
elif self.topwidget.selectable():
735
714
self.topwidget.keypress(self.size, key)
740
class UILogHandler(logging.Handler):
741
def __init__(self, ui, *args, **kwargs):
743
super(UILogHandler, self).__init__(*args, **kwargs)
745
logging.Formatter("%(asctime)s: %(message)s"))
746
def emit(self, record):
747
msg = self.format(record)
748
if record.levelno > logging.INFO:
750
self.ui.add_log_line(msg)
753
718
ui = UserInterface()
756
721
except KeyboardInterrupt:
757
with warnings.catch_warnings():
758
warnings.filterwarnings("ignore", "", BytesWarning)
761
with warnings.catch_warnings():
762
warnings.filterwarnings("ignore", "", BytesWarning)
724
ui.log_message(unicode(e))