prosody
tip
util/human/io.lua

Find changesets by keywords by author, files, the commit message, revision number or hash, or revset expression.

Software / code / prosody

Log

util/human/io.lua @ 13270:14bbfb2cc8dd default tip

less more | (0) tip
description author age
util.human.io: Fix stray 'stty' error by only querying width of real ttys Kim Alvefur Sun, 16 Jul 2023 21:21:37 +0200
util.human.io: Fix pattern in parse_duration() to cover all used letters Kim Alvefur Sun, 16 Jul 2023 19:27:18 +0200
util.human.io: Fix column width miscalculation Kim Alvefur Sun, 09 Apr 2023 22:31:12 +0200
util.human.io: Fix error with ellipsis to negative length Kim Alvefur Sun, 09 Apr 2023 01:34:08 +0200
util.human.io: Add parse_duration() method to parse a duration string Matthew Wild Fri, 07 Apr 2023 14:14:53 +0100
util.human.io: Coerce $COLUMNS to number Kim Alvefur Fri, 07 Apr 2023 13:54:16 +0200
util.human.io: table: don't read $COLUMNS directly, just use term_width() Matthew Wild Fri, 07 Apr 2023 12:51:26 +0100
util.human.io: table: Return determined width as a second result Matthew Wild Fri, 07 Apr 2023 12:47:24 +0100
util.human.io: Prefer using the $COLUMNS environment variable if set (by readline) Kim Alvefur Fri, 07 Apr 2023 13:42:20 +0200
util.human.io: table: use term_width() to discover terminal width Matthew Wild Fri, 07 Apr 2023 12:35:39 +0100
util.human.io: Add term_width() method to discover the terminal width Matthew Wild Fri, 07 Apr 2023 12:33:17 +0100
util.human.io: Pass the whole column definition to mapper function Kim Alvefur Fri, 07 Apr 2023 13:02:20 +0200
util.human.io: Allow defining per column ellipsis function Kim Alvefur Fri, 07 Apr 2023 13:00:58 +0200
util.human.io: Pass expected width to mapper function Kim Alvefur Fri, 07 Apr 2023 13:00:00 +0200
util.human.io: Fix pattern to support fractional proportions Matthew Wild Thu, 06 Apr 2023 15:03:45 +0100
util.human.io: Support for dynamic "proportional" columns Matthew Wild Thu, 06 Apr 2023 14:51:52 +0100
util: Prefix module imports with prosody namespace Kim Alvefur Fri, 17 Mar 2023 16:23:16 +0100
util.human.io: Fix handling of os.execute() return values in Lua 5.2+ Kim Alvefur Thu, 20 Oct 2022 17:35:01 +0200
util: Remove various Lua 5.1 compatibility hacks Kim Alvefur Sat, 02 Jul 2022 17:31:14 +0200
util.human.io: Use UTF-8-aware length check in padding functions Kim Alvefur Fri, 12 Nov 2021 14:22:21 +0100
util.human.io: Fix cutting of UTF-8 into pieces Kim Alvefur Fri, 12 Nov 2021 14:21:15 +0100
util.human.io: Trim any broken UTF-8 from ellipsis Kim Alvefur Fri, 12 Nov 2021 12:19:01 +0100
util.human.io: Factor out ellipsis function Kim Alvefur Fri, 12 Nov 2021 12:14:27 +0100
util.human.io: Support specifying column defaults in tables Kim Alvefur Fri, 12 Nov 2021 11:44:31 +0100
util.human.io: Pass nil to cell mapper to signal missing value Kim Alvefur Fri, 12 Nov 2021 11:43:24 +0100
util.human.io: Fix right-alignment Kim Alvefur Sat, 06 Jun 2020 16:43:28 +0200
util.human.io.table: Allow a map callaback per column Kim Alvefur Thu, 04 Jun 2020 21:32:28 +0200
util.human.io: Consider separator when calculating remaining width Kim Alvefur Thu, 04 Jun 2020 18:40:37 +0200
util.human.io: Use literal ellipsis instead of \u escape Kim Alvefur Thu, 04 Jun 2020 18:36:47 +0200
util.human.io: Replace overflow with ellipsis Kim Alvefur Thu, 04 Jun 2020 18:32:33 +0200
util.human.io: Draw a separator between columns Kim Alvefur Thu, 04 Jun 2020 18:31:50 +0200
util.human.io: Remove padding option and use $COLUMNS as default width Matthew Wild Thu, 04 Jun 2020 17:24:30 +0100
util.human.io: table: Fix title printing when columns use named keys Matthew Wild Thu, 04 Jun 2020 10:39:55 +0100
util.human.io: table: Return title row when no row data passed Matthew Wild Wed, 03 Jun 2020 22:58:29 +0100
util.human.io: table: switch row function to simply returning prepared row string Matthew Wild Wed, 03 Jun 2020 22:45:33 +0100
util.human.io: Add padleft, padright and a table printing function Matthew Wild Wed, 03 Jun 2020 22:21:17 +0100
util.human.io: Fix variable name [luacheck] Matthew Wild Tue, 02 Jun 2020 08:02:03 +0100
util.human.io: New central place for UI helpers Matthew Wild Tue, 02 Jun 2020 08:00:37 +0100
less more | (0) tip