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
27
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:
53
log = logging.getLogger(os.path.basename(sys.argv[0]))
54
logging.basicConfig(level="NOTSET", # Show all messages
55
format="%(message)s") # Show basic log messages
57
logging.captureWarnings(True) # Show warnings via the logging system
59
locale.setlocale(locale.LC_ALL, "")
61
logging.getLogger("dbus.proxies").setLevel(logging.CRITICAL)
54
63
# 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)
64
domain = "se.recompile"
65
server_interface = domain + ".Mandos"
66
client_interface = domain + ".Mandos.Client"
70
dbus.OBJECT_MANAGER_IFACE
71
except AttributeError:
72
dbus.OBJECT_MANAGER_IFACE = "org.freedesktop.DBus.ObjectManager"
68
75
def isoformat_to_datetime(iso):
69
76
"Parse an ISO 8601 date string to a datetime.datetime()"
81
int(second), # Whole seconds
82
int(fraction*1000000)) # Microseconds
84
class MandosClientPropertyCache(object):
88
int(second), # Whole seconds
89
int(fraction*1000000)) # Microseconds
92
class MandosClientPropertyCache:
85
93
"""This wraps a Mandos Client D-Bus proxy object, caches the
86
94
properties and calls a hook function when any of them are
89
97
def __init__(self, proxy_object=None, properties=None, **kwargs):
90
self.proxy = proxy_object # Mandos Client proxy object
98
self.proxy = proxy_object # Mandos Client proxy object
91
99
self.properties = dict() if properties is None else properties
92
100
self.property_changed_match = (
93
self.proxy.connect_to_signal("PropertyChanged",
94
self._property_changed,
101
self.proxy.connect_to_signal("PropertiesChanged",
102
self.properties_changed,
103
dbus.PROPERTIES_IFACE,
96
104
byte_arrays=True))
98
106
if properties is None:
99
self.properties.update(
100
self.proxy.GetAll(client_interface,
102
= dbus.PROPERTIES_IFACE))
107
self.properties.update(self.proxy.GetAll(
109
dbus_interface=dbus.PROPERTIES_IFACE))
104
111
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.
113
def properties_changed(self, interface, properties, invalidated):
114
"""This is called whenever we get a PropertiesChanged signal
115
It updates the changed properties in the "properties" dict.
114
117
# Update properties dict with new value
115
self.properties[property] = value
118
if interface == client_interface:
119
self.properties.update(properties)
117
121
def delete(self):
118
122
self.property_changed_match.remove()
175
167
client_interface,
176
168
byte_arrays=True))
177
#self.logger('Created client {0}'
178
# .format(self.properties["Name"]))
180
def property_changed(self, property=None, value=None):
181
super(self, MandosClientWidget).property_changed(property,
183
if property == "ApprovalPending":
184
using_timer(bool(value))
185
if property == "LastCheckerStatus":
186
using_timer(value != 0)
187
#self.logger('Checker for client {0} (command "{1}") was '
188
# ' successful'.format(self.properties["Name"],
169
log.debug("Created client %s", self.properties["Name"])
191
171
def using_timer(self, flag):
192
172
"""Call this method with True or False when timer should be
193
173
activated or deactivated.
195
old = self._update_timer_callback_lock
197
self._update_timer_callback_lock += 1
199
self._update_timer_callback_lock -= 1
200
if old == 0 and self._update_timer_callback_lock:
175
if flag and self._update_timer_callback_tag is None:
201
176
# Will update the shown timer value every second
202
self._update_timer_callback_tag = (gobject.timeout_add
205
elif old and self._update_timer_callback_lock == 0:
206
gobject.source_remove(self._update_timer_callback_tag)
177
self._update_timer_callback_tag = (
178
GLib.timeout_add(1000,
179
glib_safely(self.update_timer)))
180
elif not (flag or self._update_timer_callback_tag is None):
181
GLib.source_remove(self._update_timer_callback_tag)
207
182
self._update_timer_callback_tag = None
209
184
def checker_completed(self, exitstatus, condition, command):
210
185
if exitstatus == 0:
186
log.debug('Checker for client %s (command "%s")'
187
" succeeded", self.properties["Name"], command)
214
191
if os.WIFEXITED(condition):
215
self.logger('Checker for client {0} (command "{1}")'
216
' failed with exit code {2}'
217
.format(self.properties["Name"], command,
218
os.WEXITSTATUS(condition)))
192
log.info('Checker for client %s (command "%s") failed'
193
" with exit code %d", self.properties["Name"],
194
command, os.WEXITSTATUS(condition))
219
195
elif os.WIFSIGNALED(condition):
220
self.logger('Checker for client {0} (command "{1}") was'
221
' killed by signal {2}'
222
.format(self.properties["Name"], command,
223
os.WTERMSIG(condition)))
224
elif os.WCOREDUMP(condition):
225
self.logger('Checker for client {0} (command "{1}")'
227
.format(self.properties["Name"], command))
229
self.logger('Checker for client {0} completed'
231
.format(self.properties["Name"]))
196
log.info('Checker for client %s (command "%s") was'
197
" killed by signal %d", self.properties["Name"],
198
command, os.WTERMSIG(condition))
234
201
def checker_started(self, command):
235
"""Server signals that a checker started. This could be useful
236
to log in the future. """
237
#self.logger('Client {0} started checker "{1}"'
238
# .format(self.properties["Name"],
202
"""Server signals that a checker started."""
203
log.debug('Client %s started checker "%s"',
204
self.properties["Name"], command)
242
206
def got_secret(self):
243
self.logger('Client {0} received its secret'
244
.format(self.properties["Name"]))
207
log.info("Client %s received its secret",
208
self.properties["Name"])
246
210
def need_approval(self, timeout, default):
248
message = 'Client {0} needs approval within {1} seconds'
212
message = "Client %s needs approval within %f seconds"
250
message = 'Client {0} will get its secret in {1} seconds'
251
self.logger(message.format(self.properties["Name"],
253
self.using_timer(True)
214
message = "Client %s will get its secret in %f seconds"
215
log.info(message, self.properties["Name"], timeout/1000)
255
217
def rejected(self, reason):
256
self.logger('Client {0} was rejected; reason: {1}'
257
.format(self.properties["Name"], reason))
218
log.info("Client %s was rejected; reason: %s",
219
self.properties["Name"], reason)
259
221
def selectable(self):
260
222
"""Make this a "selectable" widget.
261
223
This overrides the method from urwid.FlowWidget."""
264
226
def rows(self, maxcolrow, focus=False):
265
227
"""How many rows this widget will occupy might depend on
266
228
whether we have focus or not.
267
229
This overrides the method from urwid.FlowWidget"""
268
230
return self.current_widget(focus).rows(maxcolrow, focus=focus)
270
232
def current_widget(self, focus=False):
271
233
if focus or self.opened:
272
234
return self._focus_widget
273
235
return self._widget
275
237
def update(self):
276
238
"Called when what is visible on the screen should be updated."
277
239
# How to add standout mode to a style
278
with_standout = { "normal": "standout",
279
"bold": "bold-standout",
281
"underline-blink-standout",
282
"bold-underline-blink":
283
"bold-underline-blink-standout",
240
with_standout = {"normal": "standout",
241
"bold": "bold-standout",
243
"underline-blink-standout",
244
"bold-underline-blink":
245
"bold-underline-blink-standout",
286
248
# Rebuild focus and non-focus widgets using current properties
288
250
# Base part of a client. Name!
289
base = '{name}: '.format(name=self.properties["Name"])
251
base = "{name}: ".format(name=self.properties["Name"])
290
252
if not self.properties["Enabled"]:
291
253
message = "DISABLED"
254
self.using_timer(False)
292
255
elif self.properties["ApprovalPending"]:
293
timeout = datetime.timedelta(milliseconds
256
timeout = datetime.timedelta(
257
milliseconds=self.properties["ApprovalDelay"])
296
258
last_approval_request = isoformat_to_datetime(
297
259
self.properties["LastApprovalRequest"])
298
260
if last_approval_request is not None:
299
timer = timeout - (datetime.datetime.utcnow()
300
- last_approval_request)
261
timer = max(timeout - (datetime.datetime.utcnow()
262
- last_approval_request),
263
datetime.timedelta())
302
265
timer = datetime.timedelta()
303
266
if self.properties["ApprovedByDefault"]:
304
message = "Approval in {0}. (d)eny?"
267
message = "Approval in {}. (d)eny?"
306
message = "Denial in {0}. (a)pprove?"
307
message = message.format(unicode(timer).rsplit(".", 1)[0])
269
message = "Denial in {}. (a)pprove?"
270
message = message.format(str(timer).rsplit(".", 1)[0])
271
self.using_timer(True)
308
272
elif self.properties["LastCheckerStatus"] != 0:
309
273
# When checker has failed, show timer until client expires
310
274
expires = self.properties["Expires"]
353
321
if self.delete_hook is not None:
354
322
self.delete_hook(self)
355
323
return super(MandosClientWidget, self).delete(**kwargs)
357
325
def render(self, maxcolrow, focus=False):
358
326
"""Render differently if we have focus.
359
327
This overrides the method from urwid.FlowWidget"""
360
328
return self.current_widget(focus).render(maxcolrow,
363
331
def keypress(self, maxcolrow, key):
365
333
This overrides the method from urwid.FlowWidget"""
367
self.proxy.Enable(dbus_interface = client_interface,
335
self.proxy.Set(client_interface, "Enabled",
336
dbus.Boolean(True), ignore_reply=True,
337
dbus_interface=dbus.PROPERTIES_IFACE)
370
self.proxy.Disable(dbus_interface = client_interface,
339
self.proxy.Set(client_interface, "Enabled", False,
341
dbus_interface=dbus.PROPERTIES_IFACE)
373
343
self.proxy.Approve(dbus.Boolean(True, variant_level=1),
374
dbus_interface = client_interface,
344
dbus_interface=client_interface,
375
345
ignore_reply=True)
377
347
self.proxy.Approve(dbus.Boolean(False, variant_level=1),
378
dbus_interface = client_interface,
348
dbus_interface=client_interface,
379
349
ignore_reply=True)
380
350
elif key == "R" or key == "_" or key == "ctrl k":
381
351
self.server_proxy_object.RemoveClient(self.proxy
383
353
ignore_reply=True)
385
self.proxy.StartChecker(dbus_interface = client_interface,
355
self.proxy.Set(client_interface, "CheckerRunning",
356
dbus.Boolean(True), ignore_reply=True,
357
dbus_interface=dbus.PROPERTIES_IFACE)
388
self.proxy.StopChecker(dbus_interface = client_interface,
359
self.proxy.Set(client_interface, "CheckerRunning",
360
dbus.Boolean(False), ignore_reply=True,
361
dbus_interface=dbus.PROPERTIES_IFACE)
391
self.proxy.CheckedOK(dbus_interface = client_interface,
363
self.proxy.CheckedOK(dbus_interface=client_interface,
392
364
ignore_reply=True)
394
366
# elif key == "p" or key == "=":
403
def property_changed(self, property=None, **kwargs):
404
"""Call self.update() if old value is not new value.
375
def properties_changed(self, interface, properties, invalidated):
376
"""Call self.update() if any properties changed.
405
377
This overrides the method from MandosClientPropertyCache"""
406
property_name = unicode(property)
407
old_value = self.properties.get(property_name)
408
super(MandosClientWidget, self).property_changed(
409
property=property, **kwargs)
410
if self.properties.get(property_name) != old_value:
378
old_values = {key: self.properties.get(key)
379
for key in properties.keys()}
380
super(MandosClientWidget, self).properties_changed(
381
interface, properties, invalidated)
382
if any(old_values[key] != self.properties.get(key)
383
for key in old_values):
387
def glib_safely(func, retval=True):
388
def safe_func(*args, **kwargs):
390
return func(*args, **kwargs)
414
397
class ConstrainedListBox(urwid.ListBox):
415
398
"""Like a normal urwid.ListBox, but will consume all "up" or
416
399
"down" key presses, thus not allowing any containing widgets to
417
400
use them as an excuse to shift focus away from this widget.
419
402
def keypress(self, *args, **kwargs):
420
ret = super(ConstrainedListBox, self).keypress(*args, **kwargs)
403
ret = (super(ConstrainedListBox, self)
404
.keypress(*args, **kwargs))
421
405
if ret in ("up", "down"):
426
class UserInterface(object):
427
411
"""This is the entire user interface - the whole screen
428
412
with boxes, lists of client widgets, etc.
430
414
def __init__(self, max_log_length=1000):
431
415
DBusGMainLoop(set_as_default=True)
433
417
self.screen = urwid.curses_display.Screen()
435
419
self.screen.register_palette((
437
421
"default", "default", None),
439
"default", "default", "bold"),
423
"bold", "default", "bold"),
440
424
("underline-blink",
441
"default", "default", "underline"),
425
"underline,blink", "default", "underline,blink"),
443
"default", "default", "standout"),
427
"standout", "default", "standout"),
444
428
("bold-underline-blink",
445
"default", "default", ("bold", "underline")),
429
"bold,underline,blink", "default",
430
"bold,underline,blink"),
446
431
("bold-standout",
447
"default", "default", ("bold", "standout")),
432
"bold,standout", "default", "bold,standout"),
448
433
("underline-blink-standout",
449
"default", "default", ("underline", "standout")),
434
"underline,blink,standout", "default",
435
"underline,blink,standout"),
450
436
("bold-underline-blink-standout",
451
"default", "default", ("bold", "underline",
437
"bold,underline,blink,standout", "default",
438
"bold,underline,blink,standout"),
455
441
if urwid.supports_unicode():
456
self.divider = "─" # \u2500
457
#self.divider = "━" # \u2501
442
self.divider = "─" # \u2500
459
#self.divider = "-" # \u002d
460
self.divider = "_" # \u005f
444
self.divider = "_" # \u005f
462
446
self.screen.start()
464
448
self.size = self.screen.get_cols_rows()
466
450
self.clients = urwid.SimpleListWalker([])
467
451
self.clients_dict = {}
469
453
# We will add Text widgets to this list
454
self.log = urwid.SimpleListWalker([])
471
455
self.max_log_length = max_log_length
473
457
# We keep a reference to the log widget so we can remove it
474
458
# from the ListWalker without it getting destroyed
475
459
self.logbox = ConstrainedListBox(self.log)
477
461
# This keeps track of whether self.uilist currently has
478
462
# self.logbox in it or not
479
463
self.log_visible = True
480
464
self.log_wrap = "any"
466
self.loghandler = UILogHandler(self)
483
self.log_message_raw(("bold",
484
"Mandos Monitor version " + version))
485
self.log_message_raw(("bold",
488
self.busname = domain + '.Mandos'
489
self.main_loop = gobject.MainLoop()
491
def client_not_found(self, fingerprint, address):
492
self.log_message("Client with address {0} and fingerprint"
493
" {1} could not be found"
494
.format(address, fingerprint))
469
self.add_log_line(("bold",
470
"Mandos Monitor version " + version))
471
self.add_log_line(("bold", "q: Quit ?: Help"))
473
self.busname = domain + ".Mandos"
474
self.main_loop = GLib.MainLoop()
476
def client_not_found(self, key_id, address):
477
log.info("Client with address %s and key ID %s could"
478
" not be found", address, key_id)
496
480
def rebuild(self):
497
481
"""This rebuilds the User Interface.
498
482
Call this when the widget layout needs to change"""
500
#self.uilist.append(urwid.ListBox(self.clients))
484
# self.uilist.append(urwid.ListBox(self.clients))
501
485
self.uilist.append(urwid.Frame(ConstrainedListBox(self.
503
#header=urwid.Divider(),
487
# header=urwid.Divider(),
506
urwid.Divider(div_char=
489
footer=urwid.Divider(
490
div_char=self.divider)))
508
491
if self.log_visible:
509
492
self.uilist.append(self.logbox)
510
493
self.topwidget = urwid.Pile(self.uilist)
512
def log_message(self, message):
513
timestamp = datetime.datetime.now().isoformat()
514
self.log_message_raw(timestamp + ": " + message)
516
def log_message_raw(self, markup):
517
"""Add a log message to the log buffer."""
495
def add_log_line(self, markup):
518
496
self.log.append(urwid.Text(markup, wrap=self.log_wrap))
519
if (self.max_log_length
520
and len(self.log) > self.max_log_length):
521
del self.log[0:len(self.log)-self.max_log_length-1]
522
self.logbox.set_focus(len(self.logbox.body.contents),
497
if self.max_log_length:
498
if len(self.log) > self.max_log_length:
499
del self.log[0:(len(self.log) - self.max_log_length)]
500
self.logbox.set_focus(len(self.logbox.body.contents)-1,
523
501
coming_from="above")
526
504
def toggle_log_display(self):
527
505
"""Toggle visibility of the log buffer."""
528
506
self.log_visible = not self.log_visible
530
#self.log_message("Log visibility changed to: "
531
# + unicode(self.log_visible))
508
log.debug("Log visibility changed to: %s", self.log_visible)
533
510
def change_log_display(self):
534
511
"""Change type of log display.
535
512
Currently, this toggles wrapping of text lines."""
539
516
self.log_wrap = "clip"
540
517
for textwidget in self.log:
541
518
textwidget.set_wrap_mode(self.log_wrap)
542
#self.log_message("Wrap mode: " + self.log_wrap)
544
def find_and_remove_client(self, path, name):
519
log.debug("Wrap mode: %s", self.log_wrap)
521
def find_and_remove_client(self, path, interfaces):
545
522
"""Find a client by its object path and remove it.
547
This is connected to the ClientRemoved signal from the
524
This is connected to the InterfacesRemoved signal from the
548
525
Mandos server object."""
526
if client_interface not in interfaces:
527
# Not a Mandos client object; ignore
550
530
client = self.clients_dict[path]
553
self.log_message("Unknown client {0!r} ({1!r}) removed"
533
log.warning("Unknown client %s removed", path)
558
def add_new_client(self, path):
537
def add_new_client(self, path, ifs_and_props):
538
"""Find a client by its object path and remove it.
540
This is connected to the InterfacesAdded signal from the
541
Mandos server object.
543
if client_interface not in ifs_and_props:
544
# Not a Mandos client object; ignore
559
546
client_proxy_object = self.bus.get_object(self.busname, path)
560
self.add_client(MandosClientWidget(server_proxy_object
563
=client_proxy_object,
547
self.add_client(MandosClientWidget(
548
server_proxy_object=self.mandos_serv,
549
proxy_object=client_proxy_object,
550
update_hook=self.refresh,
551
delete_hook=self.remove_client,
552
properties=dict(ifs_and_props[client_interface])),
572
555
def add_client(self, client, path=None):
573
556
self.clients.append(client)
575
558
path = client.proxy.object_path
576
559
self.clients_dict[path] = client
577
self.clients.sort(None, lambda c: c.properties["Name"])
560
self.clients.sort(key=lambda c: c.properties["Name"])
580
563
def remove_client(self, client, path=None):
581
564
self.clients.remove(client)
583
566
path = client.proxy.object_path
584
567
del self.clients_dict[path]
585
if not self.clients_dict:
586
# Work around bug in Urwid 0.9.8.3 - if a SimpleListWalker
587
# is completely emptied, we need to recreate it.
588
self.clients = urwid.SimpleListWalker([])
592
570
def refresh(self):
593
571
"""Redraw the screen"""
594
572
canvas = self.topwidget.render(self.size, focus=True)
595
573
self.screen.draw_screen(self.size, canvas)
598
576
"""Start the main loop and exit when it's done."""
577
log.addHandler(self.loghandler)
578
self.orig_log_propagate = log.propagate
579
log.propagate = False
580
self.orig_log_level = log.level
599
582
self.bus = dbus.SystemBus()
600
583
mandos_dbus_objc = self.bus.get_object(
601
584
self.busname, "/", follow_name_owner_changes=True)
602
self.mandos_serv = dbus.Interface(mandos_dbus_objc,
585
self.mandos_serv = dbus.Interface(
586
mandos_dbus_objc, dbus_interface=server_interface)
606
588
mandos_clients = (self.mandos_serv
607
589
.GetAllClientsWithProperties())
590
if not mandos_clients:
591
log.warning("Note: Server has no clients.")
608
592
except dbus.exceptions.DBusException:
593
log.warning("Note: No Mandos server running.")
609
594
mandos_clients = dbus.Dictionary()
611
596
(self.mandos_serv
612
.connect_to_signal("ClientRemoved",
597
.connect_to_signal("InterfacesRemoved",
613
598
self.find_and_remove_client,
614
dbus_interface=server_interface,
599
dbus_interface=dbus.OBJECT_MANAGER_IFACE,
615
600
byte_arrays=True))
616
601
(self.mandos_serv
617
.connect_to_signal("ClientAdded",
602
.connect_to_signal("InterfacesAdded",
618
603
self.add_new_client,
619
dbus_interface=server_interface,
604
dbus_interface=dbus.OBJECT_MANAGER_IFACE,
620
605
byte_arrays=True))
621
606
(self.mandos_serv
622
607
.connect_to_signal("ClientNotFound",
623
608
self.client_not_found,
624
609
dbus_interface=server_interface,
625
610
byte_arrays=True))
626
for path, client in mandos_clients.iteritems():
611
for path, client in mandos_clients.items():
627
612
client_proxy_object = self.bus.get_object(self.busname,
629
self.add_client(MandosClientWidget(server_proxy_object
632
=client_proxy_object,
614
self.add_client(MandosClientWidget(
615
server_proxy_object=self.mandos_serv,
616
proxy_object=client_proxy_object,
618
update_hook=self.refresh,
619
delete_hook=self.remove_client),
643
self._input_callback_tag = (gobject.io_add_watch
623
self._input_callback_tag = (
625
GLib.IOChannel.unix_new(sys.stdin.fileno()),
626
GLib.PRIORITY_DEFAULT, GLib.IO_IN,
627
glib_safely(self.process_input)))
647
628
self.main_loop.run()
648
629
# Main loop has finished, we should close everything now
649
gobject.source_remove(self._input_callback_tag)
630
GLib.source_remove(self._input_callback_tag)
631
with warnings.catch_warnings():
632
warnings.simplefilter("ignore", BytesWarning)
653
636
self.main_loop.quit()
637
log.removeHandler(self.loghandler)
638
log.propagate = self.orig_log_propagate
655
640
def process_input(self, source, condition):
656
641
keys = self.screen.get_input()
657
translations = { "ctrl n": "down", # Emacs
658
"ctrl p": "up", # Emacs
659
"ctrl v": "page down", # Emacs
660
"meta v": "page up", # Emacs
661
" ": "page down", # less
662
"f": "page down", # less
663
"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
669
654
key = translations[key]
670
655
except KeyError: # :-)
673
658
if key == "q" or key == "Q":
676
661
elif key == "window resize":
677
662
self.size = self.screen.get_cols_rows()
679
elif key == "\f": # Ctrl-L
664
elif key == "ctrl l":
681
667
elif key == "l" or key == "D":
682
668
self.toggle_log_display()
714
701
self.topwidget.set_focus(self.logbox)
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
704
if log.level < logging.INFO:
705
log.setLevel(logging.INFO)
706
log.info("Verbose mode: Off")
708
log.setLevel(logging.NOTSET)
709
log.info("Verbose mode: On")
710
# elif (key == "end" or key == "meta >" or key == "G"
712
# pass # xxx end-of-buffer
713
# elif (key == "home" or key == "meta <" or key == "g"
715
# pass # xxx beginning-of-buffer
716
# elif key == "ctrl e" or key == "$":
717
# pass # xxx move-end-of-line
718
# elif key == "ctrl a" or key == "^":
719
# pass # xxx move-beginning-of-line
720
# elif key == "ctrl b" or key == "meta (" or key == "h":
722
# elif key == "ctrl f" or key == "meta )" or key == "l":
725
# pass # scroll up log
727
# pass # scroll down log
734
728
elif self.topwidget.selectable():
735
729
self.topwidget.keypress(self.size, key)
734
class UILogHandler(logging.Handler):
735
def __init__(self, ui, *args, **kwargs):
737
super(UILogHandler, self).__init__(*args, **kwargs)
739
logging.Formatter("%(asctime)s: %(message)s"))
740
def emit(self, record):
741
msg = self.format(record)
742
if record.levelno > logging.INFO:
744
self.ui.add_log_line(msg)
739
747
ui = UserInterface()
742
750
except KeyboardInterrupt:
745
ui.log_message(unicode(e))
751
with warnings.catch_warnings():
752
warnings.filterwarnings("ignore", "", BytesWarning)
755
with warnings.catch_warnings():
756
warnings.filterwarnings("ignore", "", BytesWarning)