~bzr-pqm/bzr/bzr.dev

« back to all changes in this revision

Viewing changes to bzrlib/osutils.py

  • Committer: Martin Pool
  • Date: 2005-09-16 09:56:24 UTC
  • Revision ID: mbp@sourcefrog.net-20050916095623-ca0dff452934f21f
- make progress bar more tolerant of out-of-range values

Show diffs side-by-side

added added

removed removed

Lines of Context:
1
1
# Bazaar-NG -- distributed version control
2
 
#
 
2
 
3
3
# Copyright (C) 2005 by Canonical Ltd
4
 
#
 
4
 
5
5
# This program is free software; you can redistribute it and/or modify
6
6
# it under the terms of the GNU General Public License as published by
7
7
# the Free Software Foundation; either version 2 of the License, or
8
8
# (at your option) any later version.
9
 
#
 
9
 
10
10
# This program is distributed in the hope that it will be useful,
11
11
# but WITHOUT ANY WARRANTY; without even the implied warranty of
12
12
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
13
13
# GNU General Public License for more details.
14
 
#
 
14
 
15
15
# You should have received a copy of the GNU General Public License
16
16
# along with this program; if not, write to the Free Software
17
17
# Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
18
18
 
19
 
from shutil import copyfile
20
 
from stat import (S_ISREG, S_ISDIR, S_ISLNK, ST_MODE, ST_SIZE,
21
 
                  S_ISCHR, S_ISBLK, S_ISFIFO, S_ISSOCK)
 
19
import os, types, re, time, errno, sys
 
20
import sha
22
21
from cStringIO import StringIO
23
 
import errno
24
 
import os
25
 
import re
26
 
import sha
27
 
import string
28
 
import sys
29
 
import time
30
 
import types
31
 
import tempfile
32
 
 
 
22
 
 
23
from stat import S_ISREG, S_ISDIR, S_ISLNK, ST_MODE, ST_SIZE
 
24
 
 
25
from bzrlib.errors import BzrError
 
26
from bzrlib.trace import mutter
33
27
import bzrlib
34
 
from bzrlib.errors import (BzrError,
35
 
                           BzrBadParameterNotUnicode,
36
 
                           NoSuchFile,
37
 
                           PathNotChild,
38
 
                           )
39
 
from bzrlib.trace import mutter
40
 
 
41
28
 
42
29
def make_readonly(filename):
43
30
    """Make a filename read-only."""
 
31
    # TODO: probably needs to be fixed for windows
44
32
    mod = os.stat(filename).st_mode
45
33
    mod = mod & 0777555
46
34
    os.chmod(filename, mod)
63
51
    # TODO: I'm not really sure this is the best format either.x
64
52
    global _QUOTE_RE
65
53
    if _QUOTE_RE == None:
66
 
        _QUOTE_RE = re.compile(r'([^a-zA-Z0-9.,:/\\_~-])')
 
54
        _QUOTE_RE = re.compile(r'([^a-zA-Z0-9.,:/_~-])')
67
55
        
68
56
    if _QUOTE_RE.search(f):
69
57
        return '"' + f + '"'
79
67
        return 'directory'
80
68
    elif S_ISLNK(mode):
81
69
        return 'symlink'
82
 
    elif S_ISCHR(mode):
83
 
        return 'chardev'
84
 
    elif S_ISBLK(mode):
85
 
        return 'block'
86
 
    elif S_ISFIFO(mode):
87
 
        return 'fifo'
88
 
    elif S_ISSOCK(mode):
89
 
        return 'socket'
90
70
    else:
91
 
        return 'unknown'
 
71
        raise BzrError("can't handle file kind with mode %o of %r" % (mode, f))
92
72
 
93
73
 
94
74
def kind_marker(kind):
101
81
    else:
102
82
        raise BzrError('invalid file kind %r' % kind)
103
83
 
104
 
def lexists(f):
105
 
    if hasattr(os.path, 'lexists'):
106
 
        return os.path.lexists(f)
107
 
    try:
108
 
        if hasattr(os, 'lstat'):
109
 
            os.lstat(f)
110
 
        else:
111
 
            os.stat(f)
112
 
        return True
113
 
    except OSError,e:
114
 
        if e.errno == errno.ENOENT:
115
 
            return False;
116
 
        else:
117
 
            raise BzrError("lstat/stat of (%r): %r" % (f, e))
118
 
 
119
 
def fancy_rename(old, new, rename_func, unlink_func):
120
 
    """A fancy rename, when you don't have atomic rename.
121
 
    
122
 
    :param old: The old path, to rename from
123
 
    :param new: The new path, to rename to
124
 
    :param rename_func: The potentially non-atomic rename function
125
 
    :param unlink_func: A way to delete the target file if the full rename succeeds
126
 
    """
127
 
 
128
 
    # sftp rename doesn't allow overwriting, so play tricks:
129
 
    import random
130
 
    base = os.path.basename(new)
131
 
    dirname = os.path.dirname(new)
132
 
    tmp_name = u'tmp.%s.%.9f.%d.%d' % (base, time.time(), os.getpid(), random.randint(0, 0x7FFFFFFF))
133
 
    tmp_name = pathjoin(dirname, tmp_name)
134
 
 
135
 
    # Rename the file out of the way, but keep track if it didn't exist
136
 
    # We don't want to grab just any exception
137
 
    # something like EACCES should prevent us from continuing
138
 
    # The downside is that the rename_func has to throw an exception
139
 
    # with an errno = ENOENT, or NoSuchFile
140
 
    file_existed = False
141
 
    try:
142
 
        rename_func(new, tmp_name)
143
 
    except (NoSuchFile,), e:
144
 
        pass
145
 
    except IOError, e:
146
 
        # RBC 20060103 abstraction leakage: the paramiko SFTP clients rename
147
 
        # function raises an IOError with errno == None when a rename fails.
148
 
        # This then gets caught here.
149
 
        if e.errno not in (None, errno.ENOENT, errno.ENOTDIR):
150
 
            raise
151
 
    except Exception, e:
152
 
        if (not hasattr(e, 'errno') 
153
 
            or e.errno not in (errno.ENOENT, errno.ENOTDIR)):
154
 
            raise
155
 
    else:
156
 
        file_existed = True
157
 
 
158
 
    success = False
159
 
    try:
160
 
        # This may throw an exception, in which case success will
161
 
        # not be set.
162
 
        rename_func(old, new)
163
 
        success = True
164
 
    finally:
165
 
        if file_existed:
166
 
            # If the file used to exist, rename it back into place
167
 
            # otherwise just delete it from the tmp location
168
 
            if success:
169
 
                unlink_func(tmp_name)
170
 
            else:
171
 
                rename_func(tmp_name, new)
172
 
 
173
 
# Default is to just use the python builtins
174
 
abspath = os.path.abspath
175
 
realpath = os.path.realpath
176
 
pathjoin = os.path.join
177
 
normpath = os.path.normpath
178
 
getcwd = os.getcwdu
179
 
mkdtemp = tempfile.mkdtemp
180
 
rename = os.rename
181
 
dirname = os.path.dirname
182
 
basename = os.path.basename
183
 
 
184
 
if os.name == "posix":
185
 
    # In Python 2.4.2 and older, os.path.abspath and os.path.realpath
186
 
    # choke on a Unicode string containing a relative path if
187
 
    # os.getcwd() returns a non-sys.getdefaultencoding()-encoded
188
 
    # string.
189
 
    _fs_enc = sys.getfilesystemencoding()
190
 
    def abspath(path):
191
 
        return os.path.abspath(path.encode(_fs_enc)).decode(_fs_enc)
192
 
 
193
 
    def realpath(path):
194
 
        return os.path.realpath(path.encode(_fs_enc)).decode(_fs_enc)
195
 
 
196
 
if sys.platform == 'win32':
197
 
    # We need to use the Unicode-aware os.path.abspath and
198
 
    # os.path.realpath on Windows systems.
199
 
    def abspath(path):
200
 
        return os.path.abspath(path).replace('\\', '/')
201
 
 
202
 
    def realpath(path):
203
 
        return os.path.realpath(path).replace('\\', '/')
204
 
 
205
 
    def pathjoin(*args):
206
 
        return os.path.join(*args).replace('\\', '/')
207
 
 
208
 
    def normpath(path):
209
 
        return os.path.normpath(path).replace('\\', '/')
210
 
 
211
 
    def getcwd():
212
 
        return os.getcwdu().replace('\\', '/')
213
 
 
214
 
    def mkdtemp(*args, **kwargs):
215
 
        return tempfile.mkdtemp(*args, **kwargs).replace('\\', '/')
216
 
 
217
 
    def rename(old, new):
218
 
        fancy_rename(old, new, rename_func=os.rename, unlink_func=os.unlink)
219
 
 
220
 
 
221
 
def normalizepath(f):
222
 
    if hasattr(os.path, 'realpath'):
223
 
        F = realpath
224
 
    else:
225
 
        F = abspath
226
 
    [p,e] = os.path.split(f)
227
 
    if e == "" or e == "." or e == "..":
228
 
        return F(f)
229
 
    else:
230
 
        return pathjoin(F(p), e)
231
84
 
232
85
 
233
86
def backup_file(fn):
241
94
        return
242
95
    bfn = fn + '~'
243
96
 
244
 
    if has_symlinks() and os.path.islink(fn):
245
 
        target = os.readlink(fn)
246
 
        os.symlink(target, bfn)
247
 
        return
248
97
    inf = file(fn, 'rb')
249
98
    try:
250
99
        content = inf.read()
257
106
    finally:
258
107
        outf.close()
259
108
 
 
109
def rename(path_from, path_to):
 
110
    """Basically the same as os.rename() just special for win32"""
 
111
    if sys.platform == 'win32':
 
112
        try:
 
113
            os.remove(path_to)
 
114
        except OSError, e:
 
115
            if e.errno != e.ENOENT:
 
116
                raise
 
117
    os.rename(path_from, path_to)
 
118
 
 
119
 
 
120
 
 
121
 
260
122
 
261
123
def isdir(f):
262
124
    """True if f is an accessible directory."""
266
128
        return False
267
129
 
268
130
 
 
131
 
269
132
def isfile(f):
270
133
    """True if f is a regular file."""
271
134
    try:
273
136
    except OSError:
274
137
        return False
275
138
 
276
 
def islink(f):
277
 
    """True if f is a symlink."""
278
 
    try:
279
 
        return S_ISLNK(os.lstat(f)[ST_MODE])
280
 
    except OSError:
281
 
        return False
282
139
 
283
140
def is_inside(dir, fname):
284
141
    """True if fname is inside dir.
285
142
    
286
 
    The parameters should typically be passed to osutils.normpath first, so
 
143
    The parameters should typically be passed to os.path.normpath first, so
287
144
    that . and .. and repeated slashes are eliminated, and the separators
288
145
    are canonical for the platform.
289
146
    
290
147
    The empty string as a dir name is taken as top-of-tree and matches 
291
148
    everything.
292
149
    
293
 
    >>> is_inside('src', pathjoin('src', 'foo.c'))
 
150
    >>> is_inside('src', 'src/foo.c')
294
151
    True
295
152
    >>> is_inside('src', 'srccontrol')
296
153
    False
297
 
    >>> is_inside('src', pathjoin('src', 'a', 'a', 'a', 'foo.c'))
 
154
    >>> is_inside('src', 'src/a/a/a/foo.c')
298
155
    True
299
156
    >>> is_inside('foo.c', 'foo.c')
300
157
    True
310
167
    
311
168
    if dir == '':
312
169
        return True
313
 
 
314
 
    if dir[-1] != '/':
315
 
        dir += '/'
316
 
 
 
170
    
 
171
    if dir[-1] != os.sep:
 
172
        dir += os.sep
 
173
    
317
174
    return fname.startswith(dir)
318
175
 
319
176
 
328
185
 
329
186
def pumpfile(fromfile, tofile):
330
187
    """Copy contents of one file to another."""
331
 
    BUFSIZE = 32768
332
 
    while True:
333
 
        b = fromfile.read(BUFSIZE)
334
 
        if not b:
335
 
            break
336
 
        tofile.write(b)
337
 
 
338
 
 
339
 
def file_iterator(input_file, readsize=32768):
340
 
    while True:
341
 
        b = input_file.read(readsize)
342
 
        if len(b) == 0:
343
 
            break
344
 
        yield b
 
188
    tofile.write(fromfile.read())
 
189
 
 
190
 
 
191
def uuid():
 
192
    """Return a new UUID"""
 
193
    try:
 
194
        return file('/proc/sys/kernel/random/uuid').readline().rstrip('\n')
 
195
    except IOError:
 
196
        return chomp(os.popen('uuidgen').readline())
345
197
 
346
198
 
347
199
def sha_file(f):
371
223
    return s.hexdigest()
372
224
 
373
225
 
 
226
 
374
227
def fingerprint_file(f):
375
228
    s = sha.new()
376
229
    b = f.read()
380
233
            'sha1': s.hexdigest()}
381
234
 
382
235
 
 
236
def config_dir():
 
237
    """Return per-user configuration directory.
 
238
 
 
239
    By default this is ~/.bzr.conf/
 
240
    
 
241
    TODO: Global option --config-dir to override this.
 
242
    """
 
243
    return os.path.expanduser("~/.bzr.conf")
 
244
 
 
245
 
 
246
def _auto_user_id():
 
247
    """Calculate automatic user identification.
 
248
 
 
249
    Returns (realname, email).
 
250
 
 
251
    Only used when none is set in the environment or the id file.
 
252
 
 
253
    This previously used the FQDN as the default domain, but that can
 
254
    be very slow on machines where DNS is broken.  So now we simply
 
255
    use the hostname.
 
256
    """
 
257
    import socket
 
258
 
 
259
    # XXX: Any good way to get real user name on win32?
 
260
 
 
261
    try:
 
262
        import pwd
 
263
        uid = os.getuid()
 
264
        w = pwd.getpwuid(uid)
 
265
        gecos = w.pw_gecos.decode(bzrlib.user_encoding)
 
266
        username = w.pw_name.decode(bzrlib.user_encoding)
 
267
        comma = gecos.find(',')
 
268
        if comma == -1:
 
269
            realname = gecos
 
270
        else:
 
271
            realname = gecos[:comma]
 
272
        if not realname:
 
273
            realname = username
 
274
 
 
275
    except ImportError:
 
276
        import getpass
 
277
        realname = username = getpass.getuser().decode(bzrlib.user_encoding)
 
278
 
 
279
    return realname, (username + '@' + socket.gethostname())
 
280
 
 
281
 
 
282
def _get_user_id(branch):
 
283
    """Return the full user id from a file or environment variable.
 
284
 
 
285
    e.g. "John Hacker <jhacker@foo.org>"
 
286
 
 
287
    branch
 
288
        A branch to use for a per-branch configuration, or None.
 
289
 
 
290
    The following are searched in order:
 
291
 
 
292
    1. $BZREMAIL
 
293
    2. .bzr/email for this branch.
 
294
    3. ~/.bzr.conf/email
 
295
    4. $EMAIL
 
296
    """
 
297
    v = os.environ.get('BZREMAIL')
 
298
    if v:
 
299
        return v.decode(bzrlib.user_encoding)
 
300
 
 
301
    if branch:
 
302
        try:
 
303
            return (branch.controlfile("email", "r") 
 
304
                    .read()
 
305
                    .decode(bzrlib.user_encoding)
 
306
                    .rstrip("\r\n"))
 
307
        except IOError, e:
 
308
            if e.errno != errno.ENOENT:
 
309
                raise
 
310
        except BzrError, e:
 
311
            pass
 
312
    
 
313
    try:
 
314
        return (open(os.path.join(config_dir(), "email"))
 
315
                .read()
 
316
                .decode(bzrlib.user_encoding)
 
317
                .rstrip("\r\n"))
 
318
    except IOError, e:
 
319
        if e.errno != errno.ENOENT:
 
320
            raise e
 
321
 
 
322
    v = os.environ.get('EMAIL')
 
323
    if v:
 
324
        return v.decode(bzrlib.user_encoding)
 
325
    else:    
 
326
        return None
 
327
 
 
328
 
 
329
def username(branch):
 
330
    """Return email-style username.
 
331
 
 
332
    Something similar to 'Martin Pool <mbp@sourcefrog.net>'
 
333
 
 
334
    TODO: Check it's reasonably well-formed.
 
335
    """
 
336
    v = _get_user_id(branch)
 
337
    if v:
 
338
        return v
 
339
    
 
340
    name, email = _auto_user_id()
 
341
    if name:
 
342
        return '%s <%s>' % (name, email)
 
343
    else:
 
344
        return email
 
345
 
 
346
 
 
347
def user_email(branch):
 
348
    """Return just the email component of a username."""
 
349
    e = _get_user_id(branch)
 
350
    if e:
 
351
        m = re.search(r'[\w+.-]+@[\w+.-]+', e)
 
352
        if not m:
 
353
            raise BzrError("%r doesn't seem to contain a reasonable email address" % e)
 
354
        return m.group(0)
 
355
 
 
356
    return _auto_user_id()[1]
 
357
    
 
358
 
 
359
 
383
360
def compare_files(a, b):
384
361
    """Returns true if equal in contents"""
385
362
    BUFSIZE = 4096
392
369
            return True
393
370
 
394
371
 
 
372
 
395
373
def local_time_offset(t=None):
396
374
    """Return offset of local zone from GMT, either at present or at time t."""
397
375
    # python2.3 localtime() can't take None
404
382
        return -time.timezone
405
383
 
406
384
    
407
 
def format_date(t, offset=0, timezone='original', date_fmt=None, 
408
 
                show_offset=True):
 
385
def format_date(t, offset=0, timezone='original'):
409
386
    ## TODO: Perhaps a global option to use either universal or local time?
410
387
    ## Or perhaps just let people set $TZ?
411
388
    assert isinstance(t, float)
423
400
    else:
424
401
        raise BzrError("unsupported timezone format %r" % timezone,
425
402
                       ['options are "utc", "original", "local"'])
426
 
    if date_fmt is None:
427
 
        date_fmt = "%a %Y-%m-%d %H:%M:%S"
428
 
    if show_offset:
429
 
        offset_str = ' %+03d%02d' % (offset / 3600, (offset / 60) % 60)
430
 
    else:
431
 
        offset_str = ''
432
 
    return (time.strftime(date_fmt, tt) +  offset_str)
 
403
 
 
404
    return (time.strftime("%a %Y-%m-%d %H:%M:%S", tt)
 
405
            + ' %+03d%02d' % (offset / 3600, (offset / 60) % 60))
433
406
 
434
407
 
435
408
def compact_date(when):
441
414
    """Return size of given open file."""
442
415
    return os.fstat(f.fileno())[ST_SIZE]
443
416
 
444
 
# Define rand_bytes based on platform.
445
 
try:
446
 
    # Python 2.4 and later have os.urandom,
447
 
    # but it doesn't work on some arches
448
 
    os.urandom(1)
 
417
 
 
418
if hasattr(os, 'urandom'): # python 2.4 and later
449
419
    rand_bytes = os.urandom
450
 
except (NotImplementedError, AttributeError):
451
 
    # If python doesn't have os.urandom, or it doesn't work,
452
 
    # then try to first pull random data from /dev/urandom
453
 
    if os.path.exists("/dev/urandom"):
454
 
        rand_bytes = file('/dev/urandom', 'rb').read
455
 
    # Otherwise, use this hack as a last resort
456
 
    else:
457
 
        # not well seeded, but better than nothing
458
 
        def rand_bytes(n):
459
 
            import random
460
 
            s = ''
461
 
            while n:
462
 
                s += chr(random.randint(0, 255))
463
 
                n -= 1
464
 
            return s
 
420
elif sys.platform == 'linux2':
 
421
    rand_bytes = file('/dev/urandom', 'rb').read
 
422
else:
 
423
    # not well seeded, but better than nothing
 
424
    def rand_bytes(n):
 
425
        import random
 
426
        s = ''
 
427
        while n:
 
428
            s += chr(random.randint(0, 255))
 
429
            n -= 1
 
430
        return s
 
431
 
465
432
 
466
433
## TODO: We could later have path objects that remember their list
467
434
## decomposition (might be too tricksy though.)
503
470
    for f in p:
504
471
        if (f == '..') or (f == None) or (f == ''):
505
472
            raise BzrError("sorry, %r not allowed in path" % f)
506
 
    return pathjoin(*p)
 
473
    return os.path.join(*p)
507
474
 
508
475
 
509
476
def appendpath(p1, p2):
510
477
    if p1 == '':
511
478
        return p2
512
479
    else:
513
 
        return pathjoin(p1, p2)
 
480
        return os.path.join(p1, p2)
514
481
    
515
482
 
 
483
def extern_command(cmd, ignore_errors = False):
 
484
    mutter('external command: %s' % `cmd`)
 
485
    if os.system(cmd):
 
486
        if not ignore_errors:
 
487
            raise BzrError('command failed')
 
488
 
 
489
 
 
490
def _read_config_value(name):
 
491
    """Read a config value from the file ~/.bzr.conf/<name>
 
492
    Return None if the file does not exist"""
 
493
    try:
 
494
        f = file(os.path.join(config_dir(), name), "r")
 
495
        return f.read().decode(bzrlib.user_encoding).rstrip("\r\n")
 
496
    except IOError, e:
 
497
        if e.errno == errno.ENOENT:
 
498
            return None
 
499
        raise
 
500
 
 
501
 
 
502
 
516
503
def split_lines(s):
517
504
    """Split s into lines, but without removing the newline characters."""
518
505
    return StringIO(s).readlines()
519
 
 
520
 
 
521
 
def hardlinks_good():
522
 
    return sys.platform not in ('win32', 'cygwin', 'darwin')
523
 
 
524
 
 
525
 
def link_or_copy(src, dest):
526
 
    """Hardlink a file, or copy it if it can't be hardlinked."""
527
 
    if not hardlinks_good():
528
 
        copyfile(src, dest)
529
 
        return
530
 
    try:
531
 
        os.link(src, dest)
532
 
    except (OSError, IOError), e:
533
 
        if e.errno != errno.EXDEV:
534
 
            raise
535
 
        copyfile(src, dest)
536
 
 
537
 
 
538
 
def has_symlinks():
539
 
    if hasattr(os, 'symlink'):
540
 
        return True
541
 
    else:
542
 
        return False
543
 
        
544
 
 
545
 
def contains_whitespace(s):
546
 
    """True if there are any whitespace characters in s."""
547
 
    for ch in string.whitespace:
548
 
        if ch in s:
549
 
            return True
550
 
    else:
551
 
        return False
552
 
 
553
 
 
554
 
def contains_linebreaks(s):
555
 
    """True if there is any vertical whitespace in s."""
556
 
    for ch in '\f\n\r':
557
 
        if ch in s:
558
 
            return True
559
 
    else:
560
 
        return False
561
 
 
562
 
 
563
 
def relpath(base, path):
564
 
    """Return path relative to base, or raise exception.
565
 
 
566
 
    The path may be either an absolute path or a path relative to the
567
 
    current working directory.
568
 
 
569
 
    os.path.commonprefix (python2.4) has a bad bug that it works just
570
 
    on string prefixes, assuming that '/u' is a prefix of '/u2'.  This
571
 
    avoids that problem."""
572
 
    rp = abspath(path)
573
 
 
574
 
    s = []
575
 
    head = rp
576
 
    while len(head) >= len(base):
577
 
        if head == base:
578
 
            break
579
 
        head, tail = os.path.split(head)
580
 
        if tail:
581
 
            s.insert(0, tail)
582
 
    else:
583
 
        # XXX This should raise a NotChildPath exception, as its not tied
584
 
        # to branch anymore.
585
 
        raise PathNotChild(rp, base)
586
 
 
587
 
    if s:
588
 
        return pathjoin(*s)
589
 
    else:
590
 
        return ''
591
 
 
592
 
 
593
 
def safe_unicode(unicode_or_utf8_string):
594
 
    """Coerce unicode_or_utf8_string into unicode.
595
 
 
596
 
    If it is unicode, it is returned.
597
 
    Otherwise it is decoded from utf-8. If a decoding error
598
 
    occurs, it is wrapped as a If the decoding fails, the exception is wrapped 
599
 
    as a BzrBadParameter exception.
600
 
    """
601
 
    if isinstance(unicode_or_utf8_string, unicode):
602
 
        return unicode_or_utf8_string
603
 
    try:
604
 
        return unicode_or_utf8_string.decode('utf8')
605
 
    except UnicodeDecodeError:
606
 
        raise BzrBadParameterNotUnicode(unicode_or_utf8_string)
607
 
 
608
 
 
609
 
def terminal_width():
610
 
    """Return estimated terminal width."""
611
 
 
612
 
    # TODO: Do something smart on Windows?
613
 
 
614
 
    # TODO: Is there anything that gets a better update when the window
615
 
    # is resized while the program is running? We could use the Python termcap
616
 
    # library.
617
 
    try:
618
 
        return int(os.environ['COLUMNS'])
619
 
    except (IndexError, KeyError, ValueError):
620
 
        return 80
 
506