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-2014 Teddy Hogeborn
7
# Copyright © 2009-2014 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
29
from future_builtins import *
31
30
except ImportError:
41
38
import urwid.curses_display
44
41
from dbus.mainloop.glib import DBusGMainLoop
45
from gi.repository import GLib
45
from gi.repository import GObject as gobject
49
if sys.version_info.major == 2:
51
if sys.version_info[0] == 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)
54
locale.setlocale(locale.LC_ALL, '')
57
logging.getLogger('dbus.proxies').setLevel(logging.CRITICAL)
69
59
# 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"
60
domain = 'se.recompile'
61
server_interface = domain + '.Mandos'
62
client_interface = domain + '.Mandos.Client'
81
65
def isoformat_to_datetime(iso):
82
66
"Parse an ISO 8601 date string to a datetime.datetime()"
94
int(second), # Whole seconds
95
int(fraction*1000000)) # Microseconds
98
class MandosClientPropertyCache:
78
int(second), # Whole seconds
79
int(fraction*1000000)) # Microseconds
81
class MandosClientPropertyCache(object):
99
82
"""This wraps a Mandos Client D-Bus proxy object, caches the
100
83
properties and calls a hook function when any of them are
103
86
def __init__(self, proxy_object=None, properties=None, **kwargs):
104
self.proxy = proxy_object # Mandos Client proxy object
87
self.proxy = proxy_object # Mandos Client proxy object
105
88
self.properties = dict() if properties is None else properties
106
89
self.property_changed_match = (
107
self.proxy.connect_to_signal("PropertiesChanged",
108
self.properties_changed,
109
dbus.PROPERTIES_IFACE,
90
self.proxy.connect_to_signal("PropertyChanged",
91
self._property_changed,
110
93
byte_arrays=True))
112
95
if properties is None:
113
self.properties.update(self.proxy.GetAll(
115
dbus_interface=dbus.PROPERTIES_IFACE))
96
self.properties.update(
97
self.proxy.GetAll(client_interface,
99
= dbus.PROPERTIES_IFACE))
117
101
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.
103
def _property_changed(self, property, value):
104
"""Helper which takes positional arguments"""
105
return self.property_changed(property=property, value=value)
107
def property_changed(self, property=None, value=None):
108
"""This is called whenever we get a PropertyChanged signal
109
It updates the changed property in the "properties" dict.
123
111
# Update properties dict with new value
124
if interface == client_interface:
125
self.properties.update(properties)
112
self.properties[property] = value
127
114
def delete(self):
128
115
self.property_changed_match.remove()
131
class MandosClientWidget(MandosClientPropertyCache, urwid.Widget):
118
class MandosClientWidget(urwid.FlowWidget, MandosClientPropertyCache):
132
119
"""A Mandos Client which is visible on the screen.
135
_sizing = frozenset(["flow"])
137
122
def __init__(self, server_proxy_object=None, update_hook=None,
138
delete_hook=None, **kwargs):
123
delete_hook=None, logger=None, **kwargs):
139
124
# Called on update
140
125
self.update_hook = update_hook
141
126
# Called on delete
142
127
self.delete_hook = delete_hook
143
128
# Mandos Server proxy object
144
129
self.server_proxy_object = server_proxy_object
146
133
self._update_timer_callback_tag = None
148
135
# The widget shown normally
149
136
self._text_widget = urwid.Text("")
150
137
# The widget shown when we have focus
175
162
client_interface,
176
163
byte_arrays=True))
177
log.debug("Created client %s", self.properties["Name"])
164
self.logger('Created client {0}'
165
.format(self.properties["Name"]), level=0)
179
167
def using_timer(self, flag):
180
168
"""Call this method with True or False when timer should be
181
169
activated or deactivated.
183
171
if flag and self._update_timer_callback_tag is None:
184
172
# Will update the shown timer value every second
185
self._update_timer_callback_tag = (
186
GLib.timeout_add(1000,
187
glib_safely(self.update_timer)))
173
self._update_timer_callback_tag = (gobject.timeout_add
188
176
elif not (flag or self._update_timer_callback_tag is None):
189
GLib.source_remove(self._update_timer_callback_tag)
177
gobject.source_remove(self._update_timer_callback_tag)
190
178
self._update_timer_callback_tag = None
192
180
def checker_completed(self, exitstatus, condition, command):
193
181
if exitstatus == 0:
194
log.debug('Checker for client %s (command "%s")'
195
" succeeded", self.properties["Name"], command)
182
self.logger('Checker for client {0} (command "{1}")'
183
' succeeded'.format(self.properties["Name"],
199
188
if os.WIFEXITED(condition):
200
log.info('Checker for client %s (command "%s") failed'
201
" with exit code %d", self.properties["Name"],
202
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)))
203
193
elif os.WIFSIGNALED(condition):
204
log.info('Checker for client %s (command "%s") was'
205
" killed by signal %d", self.properties["Name"],
206
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"]))
209
208
def checker_started(self, command):
210
209
"""Server signals that a checker started."""
211
log.debug('Client %s started checker "%s"',
212
self.properties["Name"], command)
210
self.logger('Client {0} started checker "{1}"'
211
.format(self.properties["Name"],
214
214
def got_secret(self):
215
log.info("Client %s received its secret",
216
self.properties["Name"])
215
self.logger('Client {0} received its secret'
216
.format(self.properties["Name"]))
218
218
def need_approval(self, timeout, default):
220
message = "Client %s needs approval within %f seconds"
220
message = 'Client {0} needs approval within {1} seconds'
222
message = "Client %s will get its secret in %f seconds"
223
log.info(message, self.properties["Name"], timeout/1000)
222
message = 'Client {0} will get its secret in {1} seconds'
223
self.logger(message.format(self.properties["Name"],
225
226
def rejected(self, reason):
226
log.info("Client %s was rejected; reason: %s",
227
self.properties["Name"], reason)
227
self.logger('Client {0} was rejected; reason: {1}'
228
.format(self.properties["Name"], reason))
229
230
def selectable(self):
230
231
"""Make this a "selectable" widget.
231
This overrides the method from urwid.Widget."""
232
This overrides the method from urwid.FlowWidget."""
234
235
def rows(self, maxcolrow, focus=False):
235
236
"""How many rows this widget will occupy might depend on
236
237
whether we have focus or not.
237
This overrides the method from urwid.Widget"""
238
This overrides the method from urwid.FlowWidget"""
238
239
return self.current_widget(focus).rows(maxcolrow, focus=focus)
240
241
def current_widget(self, focus=False):
241
242
if focus or self.opened:
242
243
return self._focus_widget
243
244
return self._widget
245
246
def update(self):
246
247
"Called when what is visible on the screen should be updated."
247
248
# How to add standout mode to a style
248
with_standout = {"normal": "standout",
249
"bold": "bold-standout",
251
"underline-blink-standout",
252
"bold-underline-blink":
253
"bold-underline-blink-standout",
249
with_standout = { "normal": "standout",
250
"bold": "bold-standout",
252
"underline-blink-standout",
253
"bold-underline-blink":
254
"bold-underline-blink-standout",
256
257
# Rebuild focus and non-focus widgets using current properties
258
259
# Base part of a client. Name!
259
base = "{name}: ".format(name=self.properties["Name"])
260
base = '{name}: '.format(name=self.properties["Name"])
260
261
if not self.properties["Enabled"]:
261
262
message = "DISABLED"
262
263
self.using_timer(False)
263
264
elif self.properties["ApprovalPending"]:
264
timeout = datetime.timedelta(
265
milliseconds=self.properties["ApprovalDelay"])
265
timeout = datetime.timedelta(milliseconds
266
268
last_approval_request = isoformat_to_datetime(
267
269
self.properties["LastApprovalRequest"])
268
270
if last_approval_request is not None:
329
330
if self.delete_hook is not None:
330
331
self.delete_hook(self)
331
332
return super(MandosClientWidget, self).delete(**kwargs)
333
334
def render(self, maxcolrow, focus=False):
334
335
"""Render differently if we have focus.
335
This overrides the method from urwid.Widget"""
336
This overrides the method from urwid.FlowWidget"""
336
337
return self.current_widget(focus).render(maxcolrow,
339
340
def keypress(self, maxcolrow, key):
341
This overrides the method from urwid.Widget"""
342
This overrides the method from urwid.FlowWidget"""
343
self.proxy.Set(client_interface, "Enabled",
344
dbus.Boolean(True), ignore_reply=True,
345
dbus_interface=dbus.PROPERTIES_IFACE)
344
self.proxy.Enable(dbus_interface = client_interface,
347
self.proxy.Set(client_interface, "Enabled", False,
349
dbus_interface=dbus.PROPERTIES_IFACE)
347
self.proxy.Disable(dbus_interface = client_interface,
351
350
self.proxy.Approve(dbus.Boolean(True, variant_level=1),
352
dbus_interface=client_interface,
351
dbus_interface = client_interface,
353
352
ignore_reply=True)
355
354
self.proxy.Approve(dbus.Boolean(False, variant_level=1),
356
dbus_interface=client_interface,
355
dbus_interface = client_interface,
357
356
ignore_reply=True)
358
357
elif key == "R" or key == "_" or key == "ctrl k":
359
358
self.server_proxy_object.RemoveClient(self.proxy
361
360
ignore_reply=True)
363
self.proxy.Set(client_interface, "CheckerRunning",
364
dbus.Boolean(True), ignore_reply=True,
365
dbus_interface=dbus.PROPERTIES_IFACE)
362
self.proxy.StartChecker(dbus_interface = client_interface,
367
self.proxy.Set(client_interface, "CheckerRunning",
368
dbus.Boolean(False), ignore_reply=True,
369
dbus_interface=dbus.PROPERTIES_IFACE)
365
self.proxy.StopChecker(dbus_interface = client_interface,
371
self.proxy.CheckedOK(dbus_interface=client_interface,
368
self.proxy.CheckedOK(dbus_interface = client_interface,
372
369
ignore_reply=True)
374
371
# elif key == "p" or key == "=":
383
def properties_changed(self, interface, properties, invalidated):
384
"""Call self.update() if any properties changed.
380
def property_changed(self, property=None, **kwargs):
381
"""Call self.update() if old value is not new value.
385
382
This overrides the method from MandosClientPropertyCache"""
386
old_values = {key: self.properties.get(key)
387
for key in properties.keys()}
388
super(MandosClientWidget, self).properties_changed(
389
interface, properties, invalidated)
390
if any(old_values[key] != self.properties.get(key)
391
for key in old_values):
383
property_name = str(property)
384
old_value = self.properties.get(property_name)
385
super(MandosClientWidget, self).property_changed(
386
property=property, **kwargs)
387
if self.properties.get(property_name) != old_value:
395
def glib_safely(func, retval=True):
396
def safe_func(*args, **kwargs):
398
return func(*args, **kwargs)
405
391
class ConstrainedListBox(urwid.ListBox):
406
392
"""Like a normal urwid.ListBox, but will consume all "up" or
407
393
"down" key presses, thus not allowing any containing widgets to
408
394
use them as an excuse to shift focus away from this widget.
410
396
def keypress(self, *args, **kwargs):
411
ret = (super(ConstrainedListBox, self)
412
.keypress(*args, **kwargs))
397
ret = super(ConstrainedListBox, self).keypress(*args, **kwargs)
413
398
if ret in ("up", "down"):
403
class UserInterface(object):
419
404
"""This is the entire user interface - the whole screen
420
405
with boxes, lists of client widgets, etc.
422
def __init__(self, max_log_length=1000):
407
def __init__(self, max_log_length=1000, log_level=1):
423
408
DBusGMainLoop(set_as_default=True)
425
410
self.screen = urwid.curses_display.Screen()
427
412
self.screen.register_palette((
429
414
"default", "default", None),
445
429
"bold,underline,blink,standout", "default",
446
430
"bold,underline,blink,standout"),
449
433
if urwid.supports_unicode():
450
self.divider = "─" # \u2500
434
self.divider = "─" # \u2500
435
#self.divider = "━" # \u2501
452
self.divider = "_" # \u005f
437
#self.divider = "-" # \u002d
438
self.divider = "_" # \u005f
454
440
self.screen.start()
456
442
self.size = self.screen.get_cols_rows()
458
444
self.clients = urwid.SimpleListWalker([])
459
445
self.clients_dict = {}
461
447
# We will add Text widgets to this list
462
self.log = urwid.SimpleListWalker([])
463
449
self.max_log_length = max_log_length
451
self.log_level = log_level
465
453
# We keep a reference to the log widget so we can remove it
466
454
# from the ListWalker without it getting destroyed
467
455
self.logbox = ConstrainedListBox(self.log)
469
457
# This keeps track of whether self.uilist currently has
470
458
# self.logbox in it or not
471
459
self.log_visible = True
472
460
self.log_wrap = "any"
474
self.loghandler = UILogHandler(self)
477
self.add_log_line(("bold",
478
"Mandos Monitor version " + version))
479
self.add_log_line(("bold", "q: Quit ?: Help"))
481
self.busname = domain + ".Mandos"
482
self.main_loop = GLib.MainLoop()
484
def client_not_found(self, key_id, address):
485
log.info("Client with address %s and key ID %s could"
486
" not be found", address, key_id)
463
self.log_message_raw(("bold",
464
"Mandos Monitor version " + version))
465
self.log_message_raw(("bold",
468
self.busname = domain + '.Mandos'
469
self.main_loop = gobject.MainLoop()
471
def client_not_found(self, fingerprint, address):
472
self.log_message("Client with address {0} and fingerprint"
473
" {1} could not be found"
474
.format(address, fingerprint))
488
476
def rebuild(self):
489
477
"""This rebuilds the User Interface.
490
478
Call this when the widget layout needs to change"""
492
# self.uilist.append(urwid.ListBox(self.clients))
480
#self.uilist.append(urwid.ListBox(self.clients))
493
481
self.uilist.append(urwid.Frame(ConstrainedListBox(self.
495
# header=urwid.Divider(),
483
#header=urwid.Divider(),
497
footer=urwid.Divider(
498
div_char=self.divider)))
486
urwid.Divider(div_char=
499
488
if self.log_visible:
500
489
self.uilist.append(self.logbox)
501
490
self.topwidget = urwid.Pile(self.uilist)
503
def add_log_line(self, markup):
492
def log_message(self, message, level=1):
493
"""Log message formatted with timestamp"""
494
if level < self.log_level:
496
timestamp = datetime.datetime.now().isoformat()
497
self.log_message_raw("{0}: {1}".format(timestamp, message),
500
def log_message_raw(self, markup, level=1):
501
"""Add a log message to the log buffer."""
502
if level < self.log_level:
504
504
self.log.append(urwid.Text(markup, wrap=self.log_wrap))
505
if self.max_log_length:
506
if len(self.log) > self.max_log_length:
507
del self.log[0:(len(self.log) - self.max_log_length)]
508
self.logbox.set_focus(len(self.logbox.body.contents)-1,
505
if (self.max_log_length
506
and len(self.log) > self.max_log_length):
507
del self.log[0:len(self.log)-self.max_log_length-1]
508
self.logbox.set_focus(len(self.logbox.body.contents),
509
509
coming_from="above")
512
512
def toggle_log_display(self):
513
513
"""Toggle visibility of the log buffer."""
514
514
self.log_visible = not self.log_visible
516
log.debug("Log visibility changed to: %s", self.log_visible)
516
self.log_message("Log visibility changed to: {0}"
517
.format(self.log_visible), level=0)
518
519
def change_log_display(self):
519
520
"""Change type of log display.
520
521
Currently, this toggles wrapping of text lines."""
524
525
self.log_wrap = "clip"
525
526
for textwidget in self.log:
526
527
textwidget.set_wrap_mode(self.log_wrap)
527
log.debug("Wrap mode: %s", self.log_wrap)
529
def find_and_remove_client(self, path, interfaces):
528
self.log_message("Wrap mode: {0}".format(self.log_wrap),
531
def find_and_remove_client(self, path, name):
530
532
"""Find a client by its object path and remove it.
532
This is connected to the InterfacesRemoved signal from the
534
This is connected to the ClientRemoved signal from the
533
535
Mandos server object."""
534
if client_interface not in interfaces:
535
# Not a Mandos client object; ignore
538
537
client = self.clients_dict[path]
541
log.warning("Unknown client %s removed", path)
540
self.log_message("Unknown client {0!r} ({1!r}) removed"
545
def add_new_client(self, path, ifs_and_props):
546
"""Find a client by its object path and remove it.
548
This is connected to the InterfacesAdded signal from the
549
Mandos server object.
551
if client_interface not in ifs_and_props:
552
# Not a Mandos client object; ignore
545
def add_new_client(self, path):
554
546
client_proxy_object = self.bus.get_object(self.busname, path)
555
self.add_client(MandosClientWidget(
556
server_proxy_object=self.mandos_serv,
557
proxy_object=client_proxy_object,
558
update_hook=self.refresh,
559
delete_hook=self.remove_client,
560
properties=dict(ifs_and_props[client_interface])),
547
self.add_client(MandosClientWidget(server_proxy_object
550
=client_proxy_object,
563
559
def add_client(self, client, path=None):
564
560
self.clients.append(client)
567
563
self.clients_dict[path] = client
568
564
self.clients.sort(key=lambda c: c.properties["Name"])
571
567
def remove_client(self, client, path=None):
572
568
self.clients.remove(client)
574
570
path = client.proxy.object_path
575
571
del self.clients_dict[path]
578
574
def refresh(self):
579
575
"""Redraw the screen"""
580
576
canvas = self.topwidget.render(self.size, focus=True)
581
577
self.screen.draw_screen(self.size, canvas)
584
580
"""Start the main loop and exit when it's done."""
585
log.addHandler(self.loghandler)
586
self.orig_log_propagate = log.propagate
587
log.propagate = False
588
self.orig_log_level = log.level
590
581
self.bus = dbus.SystemBus()
591
582
mandos_dbus_objc = self.bus.get_object(
592
583
self.busname, "/", follow_name_owner_changes=True)
593
self.mandos_serv = dbus.Interface(
594
mandos_dbus_objc, dbus_interface=server_interface)
584
self.mandos_serv = dbus.Interface(mandos_dbus_objc,
596
588
mandos_clients = (self.mandos_serv
597
589
.GetAllClientsWithProperties())
598
590
if not mandos_clients:
599
log.warning("Note: Server has no clients.")
591
self.log_message_raw(("bold", "Note: Server has no clients."))
600
592
except dbus.exceptions.DBusException:
601
log.warning("Note: No Mandos server running.")
593
self.log_message_raw(("bold", "Note: No Mandos server running."))
602
594
mandos_clients = dbus.Dictionary()
604
596
(self.mandos_serv
605
.connect_to_signal("InterfacesRemoved",
597
.connect_to_signal("ClientRemoved",
606
598
self.find_and_remove_client,
607
dbus_interface=dbus.OBJECT_MANAGER_IFACE,
599
dbus_interface=server_interface,
608
600
byte_arrays=True))
609
601
(self.mandos_serv
610
.connect_to_signal("InterfacesAdded",
602
.connect_to_signal("ClientAdded",
611
603
self.add_new_client,
612
dbus_interface=dbus.OBJECT_MANAGER_IFACE,
604
dbus_interface=server_interface,
613
605
byte_arrays=True))
614
606
(self.mandos_serv
615
607
.connect_to_signal("ClientNotFound",
619
611
for path, client in mandos_clients.items():
620
612
client_proxy_object = self.bus.get_object(self.busname,
622
self.add_client(MandosClientWidget(
623
server_proxy_object=self.mandos_serv,
624
proxy_object=client_proxy_object,
626
update_hook=self.refresh,
627
delete_hook=self.remove_client),
614
self.add_client(MandosClientWidget(server_proxy_object
617
=client_proxy_object,
631
self._input_callback_tag = (
633
GLib.IOChannel.unix_new(sys.stdin.fileno()),
634
GLib.PRIORITY_DEFAULT, GLib.IO_IN,
635
glib_safely(self.process_input)))
628
self._input_callback_tag = (gobject.io_add_watch
636
632
self.main_loop.run()
637
633
# Main loop has finished, we should close everything now
638
GLib.source_remove(self._input_callback_tag)
639
with warnings.catch_warnings():
640
warnings.simplefilter("ignore", BytesWarning)
634
gobject.source_remove(self._input_callback_tag)
644
638
self.main_loop.quit()
645
log.removeHandler(self.loghandler)
646
log.propagate = self.orig_log_propagate
648
640
def process_input(self, source, condition):
649
641
keys = self.screen.get_input()
650
translations = {"ctrl n": "down", # Emacs
651
"ctrl p": "up", # Emacs
652
"ctrl v": "page down", # Emacs
653
"meta v": "page up", # Emacs
654
" ": "page down", # less
655
"f": "page down", # less
656
"b": "page up", # less
642
translations = { "ctrl n": "down", # Emacs
643
"ctrl p": "up", # Emacs
644
"ctrl v": "page down", # Emacs
645
"meta v": "page up", # Emacs
646
" ": "page down", # less
647
"f": "page down", # less
648
"b": "page up", # less
662
654
key = translations[key]
663
655
except KeyError: # :-)
666
658
if key == "q" or key == "Q":
709
702
self.topwidget.set_focus(self.logbox)
712
if log.level < logging.INFO:
713
log.setLevel(logging.INFO)
714
log.info("Verbose mode: Off")
705
if self.log_level == 0:
707
self.log_message("Verbose mode: Off")
716
log.setLevel(logging.NOTSET)
717
log.info("Verbose mode: On")
718
# elif (key == "end" or key == "meta >" or key == "G"
720
# pass # xxx end-of-buffer
721
# elif (key == "home" or key == "meta <" or key == "g"
723
# pass # xxx beginning-of-buffer
724
# elif key == "ctrl e" or key == "$":
725
# pass # xxx move-end-of-line
726
# elif key == "ctrl a" or key == "^":
727
# pass # xxx move-beginning-of-line
728
# elif key == "ctrl b" or key == "meta (" or key == "h":
730
# elif key == "ctrl f" or key == "meta )" or key == "l":
733
# pass # scroll up log
735
# pass # scroll down log
710
self.log_message("Verbose mode: On")
711
#elif (key == "end" or key == "meta >" or key == "G"
713
# pass # xxx end-of-buffer
714
#elif (key == "home" or key == "meta <" or key == "g"
716
# pass # xxx beginning-of-buffer
717
#elif key == "ctrl e" or key == "$":
718
# pass # xxx move-end-of-line
719
#elif key == "ctrl a" or key == "^":
720
# pass # xxx move-beginning-of-line
721
#elif key == "ctrl b" or key == "meta (" or key == "h":
723
#elif key == "ctrl f" or key == "meta )" or key == "l":
726
# pass # scroll up log
728
# pass # scroll down log
736
729
elif self.topwidget.selectable():
737
730
self.topwidget.keypress(self.size, key)
742
class UILogHandler(logging.Handler):
743
def __init__(self, ui, *args, **kwargs):
745
super(UILogHandler, self).__init__(*args, **kwargs)
747
logging.Formatter("%(asctime)s: %(message)s"))
748
def emit(self, record):
749
msg = self.format(record)
750
if record.levelno > logging.INFO:
752
self.ui.add_log_line(msg)
755
734
ui = UserInterface()
758
737
except KeyboardInterrupt:
759
with warnings.catch_warnings():
760
warnings.filterwarnings("ignore", "", BytesWarning)
763
with warnings.catch_warnings():
764
warnings.filterwarnings("ignore", "", BytesWarning)
739
except Exception as e:
740
ui.log_message(str(e))