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-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
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
11
13
# the Free Software Foundation, either version 3 of the License, or
12
14
# (at your option) any later version.
14
# This program is distributed in the hope that it will be useful,
15
# but WITHOUT ANY WARRANTY; without even the implied warranty of
16
# Mandos is distributed in the hope that it will be useful, but
17
# WITHOUT ANY WARRANTY; without even the implied warranty of
16
18
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
17
19
# GNU General Public License for more details.
19
21
# You should have received a copy of the GNU General Public License
20
# along with this program. If not, see
21
# <http://www.gnu.org/licenses/>.
22
# along with Mandos. If not, see <http://www.gnu.org/licenses/>.
23
24
# Contact the authors at <mandos@recompile.se>.
26
26
from __future__ import (division, absolute_import, print_function,
29
from future_builtins import *
30
from future_builtins import *
37
41
import urwid.curses_display
40
44
from dbus.mainloop.glib import DBusGMainLoop
45
from gi.repository import GLib
49
locale.setlocale(locale.LC_ALL, '')
52
logging.getLogger('dbus.proxies').setLevel(logging.CRITICAL)
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)
54
69
# Some useful constants
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)
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"
68
81
def isoformat_to_datetime(iso):
69
82
"Parse an ISO 8601 date string to a datetime.datetime()"
81
int(second), # Whole seconds
82
int(fraction*1000000)) # Microseconds
84
class MandosClientPropertyCache(object):
94
int(second), # Whole seconds
95
int(fraction*1000000)) # Microseconds
98
class MandosClientPropertyCache:
85
99
"""This wraps a Mandos Client D-Bus proxy object, caches the
86
100
properties and calls a hook function when any of them are
89
103
def __init__(self, proxy_object=None, properties=None, **kwargs):
90
self.proxy = proxy_object # Mandos Client proxy object
104
self.proxy = proxy_object # Mandos Client proxy object
91
105
self.properties = dict() if properties is None else properties
92
106
self.property_changed_match = (
93
self.proxy.connect_to_signal("PropertyChanged",
94
self._property_changed,
107
self.proxy.connect_to_signal("PropertiesChanged",
108
self.properties_changed,
109
dbus.PROPERTIES_IFACE,
96
110
byte_arrays=True))
98
112
if properties is None:
99
self.properties.update(
100
self.proxy.GetAll(client_interface,
102
= dbus.PROPERTIES_IFACE))
113
self.properties.update(self.proxy.GetAll(
115
dbus_interface=dbus.PROPERTIES_IFACE))
104
117
super(MandosClientPropertyCache, self).__init__(**kwargs)
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.
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.
114
123
# Update properties dict with new value
115
self.properties[property] = value
124
if interface == client_interface:
125
self.properties.update(properties)
117
127
def delete(self):
118
128
self.property_changed_match.remove()
165
173
client_interface,
166
174
byte_arrays=True))
167
#self.logger('Created client {0}'
168
# .format(self.properties["Name"]))
175
log.debug("Created client %s", self.properties["Name"])
170
177
def using_timer(self, flag):
171
178
"""Call this method with True or False when timer should be
172
179
activated or deactivated.
174
181
if flag and self._update_timer_callback_tag is None:
175
182
# Will update the shown timer value every second
176
self._update_timer_callback_tag = (gobject.timeout_add
183
self._update_timer_callback_tag = (
184
GLib.timeout_add(1000,
185
glib_safely(self.update_timer)))
179
186
elif not (flag or self._update_timer_callback_tag is None):
180
gobject.source_remove(self._update_timer_callback_tag)
187
GLib.source_remove(self._update_timer_callback_tag)
181
188
self._update_timer_callback_tag = None
183
190
def checker_completed(self, exitstatus, condition, command):
184
191
if exitstatus == 0:
192
log.debug('Checker for client %s (command "%s")'
193
" succeeded", self.properties["Name"], command)
188
197
if os.WIFEXITED(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)))
198
log.info('Checker for client %s (command "%s") failed'
199
" with exit code %d", self.properties["Name"],
200
command, os.WEXITSTATUS(condition))
193
201
elif os.WIFSIGNALED(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"]))
202
log.info('Checker for client %s (command "%s") was'
203
" killed by signal %d", self.properties["Name"],
204
command, os.WTERMSIG(condition))
208
207
def checker_started(self, 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"],
208
"""Server signals that a checker started."""
209
log.debug('Client %s started checker "%s"',
210
self.properties["Name"], command)
216
212
def got_secret(self):
217
self.logger('Client {0} received its secret'
218
.format(self.properties["Name"]))
213
log.info("Client %s received its secret",
214
self.properties["Name"])
220
216
def need_approval(self, timeout, default):
222
message = 'Client {0} needs approval within {1} seconds'
218
message = "Client %s needs approval within %f seconds"
224
message = 'Client {0} will get its secret in {1} seconds'
225
self.logger(message.format(self.properties["Name"],
220
message = "Client %s will get its secret in %f seconds"
221
log.info(message, self.properties["Name"], timeout/1000)
228
223
def rejected(self, reason):
229
self.logger('Client {0} was rejected; reason: {1}'
230
.format(self.properties["Name"], reason))
224
log.info("Client %s was rejected; reason: %s",
225
self.properties["Name"], reason)
232
227
def selectable(self):
233
228
"""Make this a "selectable" widget.
234
229
This overrides the method from urwid.FlowWidget."""
237
232
def rows(self, maxcolrow, focus=False):
238
233
"""How many rows this widget will occupy might depend on
239
234
whether we have focus or not.
240
235
This overrides the method from urwid.FlowWidget"""
241
236
return self.current_widget(focus).rows(maxcolrow, focus=focus)
243
238
def current_widget(self, focus=False):
244
239
if focus or self.opened:
245
240
return self._focus_widget
246
241
return self._widget
248
243
def update(self):
249
244
"Called when what is visible on the screen should be updated."
250
245
# How to add standout mode to a style
251
with_standout = { "normal": "standout",
252
"bold": "bold-standout",
254
"underline-blink-standout",
255
"bold-underline-blink":
256
"bold-underline-blink-standout",
246
with_standout = {"normal": "standout",
247
"bold": "bold-standout",
249
"underline-blink-standout",
250
"bold-underline-blink":
251
"bold-underline-blink-standout",
259
254
# Rebuild focus and non-focus widgets using current properties
261
256
# Base part of a client. Name!
262
base = '{name}: '.format(name=self.properties["Name"])
257
base = "{name}: ".format(name=self.properties["Name"])
263
258
if not self.properties["Enabled"]:
264
259
message = "DISABLED"
265
260
self.using_timer(False)
266
261
elif self.properties["ApprovalPending"]:
267
timeout = datetime.timedelta(milliseconds
262
timeout = datetime.timedelta(
263
milliseconds=self.properties["ApprovalDelay"])
270
264
last_approval_request = isoformat_to_datetime(
271
265
self.properties["LastApprovalRequest"])
272
266
if last_approval_request is not None:
332
327
if self.delete_hook is not None:
333
328
self.delete_hook(self)
334
329
return super(MandosClientWidget, self).delete(**kwargs)
336
331
def render(self, maxcolrow, focus=False):
337
332
"""Render differently if we have focus.
338
333
This overrides the method from urwid.FlowWidget"""
339
334
return self.current_widget(focus).render(maxcolrow,
342
337
def keypress(self, maxcolrow, key):
344
339
This overrides the method from urwid.FlowWidget"""
346
self.proxy.Enable(dbus_interface = client_interface,
341
self.proxy.Set(client_interface, "Enabled",
342
dbus.Boolean(True), ignore_reply=True,
343
dbus_interface=dbus.PROPERTIES_IFACE)
349
self.proxy.Disable(dbus_interface = client_interface,
345
self.proxy.Set(client_interface, "Enabled", False,
347
dbus_interface=dbus.PROPERTIES_IFACE)
352
349
self.proxy.Approve(dbus.Boolean(True, variant_level=1),
353
dbus_interface = client_interface,
350
dbus_interface=client_interface,
354
351
ignore_reply=True)
356
353
self.proxy.Approve(dbus.Boolean(False, variant_level=1),
357
dbus_interface = client_interface,
354
dbus_interface=client_interface,
358
355
ignore_reply=True)
359
356
elif key == "R" or key == "_" or key == "ctrl k":
360
357
self.server_proxy_object.RemoveClient(self.proxy
362
359
ignore_reply=True)
364
self.proxy.StartChecker(dbus_interface = client_interface,
361
self.proxy.Set(client_interface, "CheckerRunning",
362
dbus.Boolean(True), ignore_reply=True,
363
dbus_interface=dbus.PROPERTIES_IFACE)
367
self.proxy.StopChecker(dbus_interface = client_interface,
365
self.proxy.Set(client_interface, "CheckerRunning",
366
dbus.Boolean(False), ignore_reply=True,
367
dbus_interface=dbus.PROPERTIES_IFACE)
370
self.proxy.CheckedOK(dbus_interface = client_interface,
369
self.proxy.CheckedOK(dbus_interface=client_interface,
371
370
ignore_reply=True)
373
372
# elif key == "p" or key == "=":
382
def property_changed(self, property=None, **kwargs):
383
"""Call self.update() if old value is not new value.
381
def properties_changed(self, interface, properties, invalidated):
382
"""Call self.update() if any properties changed.
384
383
This overrides the method from MandosClientPropertyCache"""
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:
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):
393
def glib_safely(func, retval=True):
394
def safe_func(*args, **kwargs):
396
return func(*args, **kwargs)
393
403
class ConstrainedListBox(urwid.ListBox):
394
404
"""Like a normal urwid.ListBox, but will consume all "up" or
395
405
"down" key presses, thus not allowing any containing widgets to
396
406
use them as an excuse to shift focus away from this widget.
398
408
def keypress(self, *args, **kwargs):
399
ret = super(ConstrainedListBox, self).keypress(*args, **kwargs)
409
ret = (super(ConstrainedListBox, self)
410
.keypress(*args, **kwargs))
400
411
if ret in ("up", "down"):
405
class UserInterface(object):
406
417
"""This is the entire user interface - the whole screen
407
418
with boxes, lists of client widgets, etc.
409
420
def __init__(self, max_log_length=1000):
410
421
DBusGMainLoop(set_as_default=True)
412
423
self.screen = urwid.curses_display.Screen()
414
425
self.screen.register_palette((
416
427
"default", "default", None),
418
"default", "default", "bold"),
429
"bold", "default", "bold"),
419
430
("underline-blink",
420
"default", "default", "underline"),
431
"underline,blink", "default", "underline,blink"),
422
"default", "default", "standout"),
433
"standout", "default", "standout"),
423
434
("bold-underline-blink",
424
"default", "default", ("bold", "underline")),
435
"bold,underline,blink", "default",
436
"bold,underline,blink"),
425
437
("bold-standout",
426
"default", "default", ("bold", "standout")),
438
"bold,standout", "default", "bold,standout"),
427
439
("underline-blink-standout",
428
"default", "default", ("underline", "standout")),
440
"underline,blink,standout", "default",
441
"underline,blink,standout"),
429
442
("bold-underline-blink-standout",
430
"default", "default", ("bold", "underline",
443
"bold,underline,blink,standout", "default",
444
"bold,underline,blink,standout"),
434
447
if urwid.supports_unicode():
435
self.divider = "─" # \u2500
436
#self.divider = "━" # \u2501
448
self.divider = "─" # \u2500
438
#self.divider = "-" # \u002d
439
self.divider = "_" # \u005f
450
self.divider = "_" # \u005f
441
452
self.screen.start()
443
454
self.size = self.screen.get_cols_rows()
445
456
self.clients = urwid.SimpleListWalker([])
446
457
self.clients_dict = {}
448
459
# We will add Text widgets to this list
460
self.log = urwid.SimpleListWalker([])
450
461
self.max_log_length = max_log_length
452
463
# We keep a reference to the log widget so we can remove it
453
464
# from the ListWalker without it getting destroyed
454
465
self.logbox = ConstrainedListBox(self.log)
456
467
# This keeps track of whether self.uilist currently has
457
468
# self.logbox in it or not
458
469
self.log_visible = True
459
470
self.log_wrap = "any"
472
self.loghandler = UILogHandler(self)
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))
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)
475
486
def rebuild(self):
476
487
"""This rebuilds the User Interface.
477
488
Call this when the widget layout needs to change"""
479
#self.uilist.append(urwid.ListBox(self.clients))
490
# self.uilist.append(urwid.ListBox(self.clients))
480
491
self.uilist.append(urwid.Frame(ConstrainedListBox(self.
482
#header=urwid.Divider(),
493
# header=urwid.Divider(),
485
urwid.Divider(div_char=
495
footer=urwid.Divider(
496
div_char=self.divider)))
487
497
if self.log_visible:
488
498
self.uilist.append(self.logbox)
489
499
self.topwidget = urwid.Pile(self.uilist)
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."""
501
def add_log_line(self, markup):
497
502
self.log.append(urwid.Text(markup, wrap=self.log_wrap))
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),
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,
502
507
coming_from="above")
505
510
def toggle_log_display(self):
506
511
"""Toggle visibility of the log buffer."""
507
512
self.log_visible = not self.log_visible
509
#self.log_message("Log visibility changed to: "
510
# + unicode(self.log_visible))
514
log.debug("Log visibility changed to: %s", self.log_visible)
512
516
def change_log_display(self):
513
517
"""Change type of log display.
514
518
Currently, this toggles wrapping of text lines."""
518
522
self.log_wrap = "clip"
519
523
for textwidget in self.log:
520
524
textwidget.set_wrap_mode(self.log_wrap)
521
#self.log_message("Wrap mode: " + self.log_wrap)
523
def find_and_remove_client(self, path, name):
525
log.debug("Wrap mode: %s", self.log_wrap)
527
def find_and_remove_client(self, path, interfaces):
524
528
"""Find a client by its object path and remove it.
526
This is connected to the ClientRemoved signal from the
530
This is connected to the InterfacesRemoved signal from the
527
531
Mandos server object."""
532
if client_interface not in interfaces:
533
# Not a Mandos client object; ignore
529
536
client = self.clients_dict[path]
532
self.log_message("Unknown client {0!r} ({1!r}) removed"
539
log.warning("Unknown client %s removed", path)
537
def add_new_client(self, path):
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
538
552
client_proxy_object = self.bus.get_object(self.busname, path)
539
self.add_client(MandosClientWidget(server_proxy_object
542
=client_proxy_object,
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])),
551
561
def add_client(self, client, path=None):
552
562
self.clients.append(client)
554
564
path = client.proxy.object_path
555
565
self.clients_dict[path] = client
556
self.clients.sort(None, lambda c: c.properties["Name"])
566
self.clients.sort(key=lambda c: c.properties["Name"])
559
569
def remove_client(self, client, path=None):
560
570
self.clients.remove(client)
562
572
path = client.proxy.object_path
563
573
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([])
571
576
def refresh(self):
572
577
"""Redraw the screen"""
573
578
canvas = self.topwidget.render(self.size, focus=True)
574
579
self.screen.draw_screen(self.size, canvas)
577
582
"""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
578
588
self.bus = dbus.SystemBus()
579
589
mandos_dbus_objc = self.bus.get_object(
580
590
self.busname, "/", follow_name_owner_changes=True)
581
self.mandos_serv = dbus.Interface(mandos_dbus_objc,
591
self.mandos_serv = dbus.Interface(
592
mandos_dbus_objc, dbus_interface=server_interface)
585
594
mandos_clients = (self.mandos_serv
586
595
.GetAllClientsWithProperties())
596
if not mandos_clients:
597
log.warning("Note: Server has no clients.")
587
598
except dbus.exceptions.DBusException:
599
log.warning("Note: No Mandos server running.")
588
600
mandos_clients = dbus.Dictionary()
590
602
(self.mandos_serv
591
.connect_to_signal("ClientRemoved",
603
.connect_to_signal("InterfacesRemoved",
592
604
self.find_and_remove_client,
593
dbus_interface=server_interface,
605
dbus_interface=dbus.OBJECT_MANAGER_IFACE,
594
606
byte_arrays=True))
595
607
(self.mandos_serv
596
.connect_to_signal("ClientAdded",
608
.connect_to_signal("InterfacesAdded",
597
609
self.add_new_client,
598
dbus_interface=server_interface,
610
dbus_interface=dbus.OBJECT_MANAGER_IFACE,
599
611
byte_arrays=True))
600
612
(self.mandos_serv
601
613
.connect_to_signal("ClientNotFound",
602
614
self.client_not_found,
603
615
dbus_interface=server_interface,
604
616
byte_arrays=True))
605
for path, client in mandos_clients.iteritems():
617
for path, client in mandos_clients.items():
606
618
client_proxy_object = self.bus.get_object(self.busname,
608
self.add_client(MandosClientWidget(server_proxy_object
611
=client_proxy_object,
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),
622
self._input_callback_tag = (gobject.io_add_watch
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)))
626
634
self.main_loop.run()
627
635
# Main loop has finished, we should close everything now
628
gobject.source_remove(self._input_callback_tag)
636
GLib.source_remove(self._input_callback_tag)
637
with warnings.catch_warnings():
638
warnings.simplefilter("ignore", BytesWarning)
632
642
self.main_loop.quit()
643
log.removeHandler(self.loghandler)
644
log.propagate = self.orig_log_propagate
634
646
def process_input(self, source, condition):
635
647
keys = self.screen.get_input()
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
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
648
660
key = translations[key]
649
661
except KeyError: # :-)
652
664
if key == "q" or key == "Q":
655
667
elif key == "window resize":
656
668
self.size = self.screen.get_cols_rows()
658
elif key == "\f": # Ctrl-L
670
elif key == "ctrl l":
660
673
elif key == "l" or key == "D":
661
674
self.toggle_log_display()
693
707
self.topwidget.set_focus(self.logbox)
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
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
713
734
elif self.topwidget.selectable():
714
735
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)
718
753
ui = UserInterface()
721
756
except KeyboardInterrupt:
724
ui.log_message(unicode(e))
757
with warnings.catch_warnings():
758
warnings.filterwarnings("ignore", "", BytesWarning)
761
with warnings.catch_warnings():
762
warnings.filterwarnings("ignore", "", BytesWarning)