termux-dev 1.8.0 → 1.8.1

package/assets/banner.svg

@@ -16,7 +16,7 @@
     <rect width="1000" height="280" fill="url(#bg)"/>
   </g>
   <rect x="1.5" y="1.5" width="997" height="277" rx="18" fill="none" stroke="#23252c" stroke-width="1.5"/>
-  <text x="500.0" y="70" text-anchor="middle" font-family="'Inter',system-ui,-apple-system,'Segoe UI',Roboto,'Helvetica Neue',Arial,sans-serif" font-size="13" font-weight="600" letter-spacing="5" fill="#7d8896">THE TERMINAL-NATIVE AI CODING AGENT<tspan dx="16" fill="#2fe3ee" font-weight="700">v1.8.0</tspan></text>
+  <text x="500.0" y="70" text-anchor="middle" font-family="'Inter',system-ui,-apple-system,'Segoe UI',Roboto,'Helvetica Neue',Arial,sans-serif" font-size="13" font-weight="600" letter-spacing="5" fill="#7d8896">THE TERMINAL-NATIVE AI CODING AGENT<tspan dx="16" fill="#2fe3ee" font-weight="700">v1.8.1</tspan></text>
   <g>
     <text x="500.0" y="178" text-anchor="middle" font-family="'JetBrains Mono','Fira Code','SF Mono',ui-monospace,Menlo,Consolas,'DejaVu Sans Mono',monospace" font-size="112" font-weight="800" letter-spacing="14" fill="#2fe3ee">DEVX</text>
   </g>

package/assets/preview.svg

@@ -9,9 +9,9 @@
     .i { font-style: italic; }
     .cur { animation: blink 1.1s steps(1) infinite; }
     @keyframes blink { 0%,55% { opacity: 1 } 56%,100% { opacity: 0 } }
-    .spin { animation: pulse 1.6s ease-in-out infinite; }
-    @keyframes pulse { 0%,100% { opacity: 1 } 50% { opacity: .35 } }
-    @media (prefers-reduced-motion: reduce) { .cur, .spin { animation: none } }
+    .sp { opacity: 0; animation: spin .8s steps(1) infinite; }
+    @keyframes spin { 0% { opacity: 1 } 10% { opacity: 0 } 100% { opacity: 0 } }
+    @media (prefers-reduced-motion: reduce) { .cur { animation: none } .sp { animation: none } .sp.f0 { opacity: 1 } }
   </style>
   <rect x="8" y="8" width="924" height="642" rx="14" fill="#000000"/>
   <g clip-path="url(#clip)">
@@ -32,7 +32,7 @@
   <rect x="595.2" y="574.0" width="243.2" height="19" fill="#000000"/>
   <text x="44.8" y="62.0" class="t" fill="#b794f6">▌</text>
   <text x="61.6" y="62.0" class="t b" fill="#f4f7fb">devx</text>
-  <text x="112.0" y="62.0" class="t" fill="#5f6b7a">v1.8.0</text>
+  <text x="112.0" y="62.0" class="t" fill="#5f6b7a">v1.8.1</text>
   <text x="61.6" y="106.0" class="t" fill="#5f6b7a">model</text>
   <text x="128.8" y="106.0" class="t" fill="#e5eaf1">deepseek-v4.1-flash · think high</text>
   <text x="406.0" y="106.0" class="t" fill="#5f6b7a">/model</text>
@@ -69,7 +69,16 @@
   <text x="70.0" y="458.0" class="t" fill="#5f6b7a">╰</text>
   <text x="86.8" y="458.0" class="t" fill="#9aa6b4">24 passed</text>
   <text x="86.8" y="480.0" class="t" fill="#5f6b7a">… +3 lines (ctrl+o to expand)</text>
-  <text x="44.8" y="512.0" class="t spin" fill="#5ed3e0">⠹</text>
+  <text x="44.8" y="512.0" class="t sp f0" style="animation-delay:0.00s" fill="#5ed3e0">⠋</text>
+  <text x="44.8" y="512.0" class="t sp f1" style="animation-delay:0.08s" fill="#5ed3e0">⠙</text>
+  <text x="44.8" y="512.0" class="t sp f2" style="animation-delay:0.16s" fill="#5ed3e0">⠹</text>
+  <text x="44.8" y="512.0" class="t sp f3" style="animation-delay:0.24s" fill="#5ed3e0">⠸</text>
+  <text x="44.8" y="512.0" class="t sp f4" style="animation-delay:0.32s" fill="#5ed3e0">⠼</text>
+  <text x="44.8" y="512.0" class="t sp f5" style="animation-delay:0.40s" fill="#5ed3e0">⠴</text>
+  <text x="44.8" y="512.0" class="t sp f6" style="animation-delay:0.48s" fill="#5ed3e0">⠦</text>
+  <text x="44.8" y="512.0" class="t sp f7" style="animation-delay:0.56s" fill="#5ed3e0">⠧</text>
+  <text x="44.8" y="512.0" class="t sp f8" style="animation-delay:0.64s" fill="#5ed3e0">⠇</text>
+  <text x="44.8" y="512.0" class="t sp f9" style="animation-delay:0.72s" fill="#5ed3e0">⠏</text>
   <text x="61.6" y="512.0" class="t" fill="#e5eaf1">Writing</text>
   <text x="145.6" y="512.0" class="t" fill="#5f6b7a">(12s · ↓ 1.4k tokens · ctrl+c to stop)</text>
   <text x="44.8" y="544.0" class="t" fill="#5ed3e0">●</text>

package/dist/cli/banner.js

@@ -1,5 +1,6 @@
 import pc from 'picocolors';
 import { getCurrentTheme } from './theme.js';
+import { DEVX_LOGO } from './logo.js';
 import { DEVX_VERSION } from '../core/types.js';
 export function renderBannerLines(mode = 'full', version = DEVX_VERSION, cols = 80) {
     if (mode === 'off') {
@@ -18,9 +19,7 @@ export function renderBannerLines(mode = 'full', version = DEVX_VERSION, cols =
     if (cols < 68) {
         // Compact ASCII for narrow mobile screens (~26 chars)
         return [
-            theme.colorFn('  █▀▀▄ █▀▀▀ █   █ █   █'),
-            theme.colorFn('  █  █ █▀▀▀  ▀▄▀   ▀▄▀ '),
-            theme.colorFn('  █▄▄▀ █▄▄▄   ▀    ▀ ▀ '),
+            ...DEVX_LOGO.map((l) => '  ' + theme.colorFn(l)),
             '  ' + theme.boldFn(`v${version}`)
         ];
     }

package/dist/cli/finder.js

@@ -0,0 +1,241 @@
+import { LiveBlock } from './liveblock.js';
+import { WORD_BACKSPACE, normalizeKey, splitKeys } from './keys.js';
+import { windowItems } from './picker.js';
+import { palette } from './ui.js';
+import { displayWidth, padEndWidth, tailWidth, truncateWidth, wrapWords } from './width.js';
+import { t } from '../core/i18n.js';
+/** Every word typed must be found in the label, the id or the keywords; matches at the start of the label come first. */
+export function filterItems(items, query) {
+    const words = query.toLowerCase().split(/\s+/).filter(Boolean);
+    const pinned = items.filter((i) => i.pinned);
+    const rest = items.filter((i) => !i.pinned);
+    if (words.length === 0)
+        return [...pinned, ...rest];
+    const scored = [];
+    for (const item of rest) {
+        const hay = `${item.label} ${item.keywords ?? ''}`.toLowerCase();
+        if (!words.every((w) => hay.includes(w)))
+            continue;
+        const label = item.label.toLowerCase();
+        scored.push({ item, score: label.startsWith(words[0]) ? 0 : label.includes(words[0]) ? 1 : 2 });
+    }
+    scored.sort((a, b) => a.score - b.score); // stable: the original order is kept inside a score
+    return [...pinned, ...scored.map((s) => s.item)];
+}
+function hintLine(width, typing) {
+    const variants = [
+        typing
+            ? [['type', t('finder.hint.filter')], ['↑↓', t('picker.hint.move')], ['enter', t('picker.hint.select')], ['esc', t('picker.hint.cancel')]]
+            : [['enter', t('picker.hint.confirm')], ['esc', t('picker.hint.cancel')]],
+        [['↑↓', ''], ['enter', ''], ['esc', '']],
+        [['enter', ''], ['esc', '']],
+    ];
+    for (const items of variants) {
+        const text = items.map(([k, label]) => palette.text(k) + (label ? ' ' + palette.faint(label) : '')).join(palette.faint(items[0][1] ? ' · ' : ' '));
+        if (displayWidth(text) <= width)
+            return text;
+    }
+    return '';
+}
+/** The card around some content rows; `rows` are already padded to the inner width by the caller's `box`. */
+function frame(title, subtitle, cols, body, footer) {
+    if (cols < 60) {
+        const width = Math.max(20, cols - 1);
+        const head = ' ' + palette.bold(palette.accent(title)) + (subtitle ? palette.faint(' · ' + truncateWidth(subtitle, Math.max(6, width - displayWidth(title) - 6))) : '');
+        const plain = (c, shaded = false) => (shaded ? palette.shade(padEndWidth(' ' + c, width)) : ' ' + c);
+        return [head, ...body(width - 1, plain), ' ' + footer];
+    }
+    const W = Math.min(cols - 1, 76);
+    const iw = W - 4;
+    const rule = palette.rule;
+    const box = (content, shaded = false) => rule('│') + (shaded ? palette.shade(' ' + padEndWidth(content, iw) + ' ') : ' ' + padEndWidth(content, iw) + ' ') + rule('│');
+    const head = ' ' + palette.bold(palette.accent(title)) + ' ';
+    const sub = subtitle ? ' ' + palette.muted(truncateWidth(subtitle, Math.max(6, W - 12 - displayWidth(title)))) + ' ' : '';
+    return [
+        rule('╭─') + head + rule('─'.repeat(Math.max(0, W - 4 - displayWidth(head) - displayWidth(sub)))) + sub + rule('─╮'),
+        box(''),
+        ...body(iw, box),
+        rule('╰' + '─'.repeat(W - 2) + '╯'),
+        ' ' + footer,
+    ];
+}
+/** Where the focus starts: on the first match, not on a pinned row such as "type a name". */
+export function firstMatch(shown) {
+    const i = shown.findIndex((item) => !item.pinned);
+    return i === -1 ? 0 : i;
+}
+export function renderFinder(options, query, shown, focus, cols, termRows = 40) {
+    const maxItems = Math.max(3, termRows - 9 - (options.notes?.length ?? 0));
+    return frame(options.title, options.subtitle ?? `${shown.filter((i) => !i.pinned).length}/${options.items.filter((i) => !i.pinned).length}`, cols, (iw, box) => {
+        const lines = [];
+        const typed = query ? palette.text(tailWidth(query, Math.max(4, iw - 6))) : palette.faint(truncateWidth(options.placeholder ?? t('finder.placeholder'), Math.max(4, iw - 6)));
+        lines.push(box(' ' + palette.accent('/') + ' ' + (query ? typed + palette.accent('█') : palette.accent('█') + typed)));
+        lines.push(box(palette.rule('─'.repeat(Math.max(0, iw - 1)))));
+        if (shown.length === 0) {
+            lines.push(box('  ' + palette.faint(t('finder.empty'))));
+        }
+        else {
+            const labelWidth = Math.min(Math.min(options.labelWidth ?? 24, Math.max(...shown.map((i) => displayWidth(i.label)), 4)) + 2, Math.max(10, iw - 12));
+            const rows = shown.map((item, index) => {
+                const focused = index === focus;
+                const isCurrent = options.current !== undefined && item.value === options.current;
+                const mark = focused ? palette.accent('❯') : ' ';
+                const dot = item.pinned ? palette.accent('+') : isCurrent ? palette.accent('●') : palette.faint('○');
+                const label = focused ? palette.bold(palette.text(truncateWidth(item.label, labelWidth - 1))) : palette.muted(truncateWidth(item.label, labelWidth - 1));
+                const prefix = ` ${mark} ${dot} ${padEndWidth(label, labelWidth)}`;
+                const room = Math.max(0, iw - displayWidth(prefix) - 1);
+                const detail = item.detail && room > 6 ? palette.faint(truncateWidth(item.detail, room)) : '';
+                return { text: prefix + detail, index };
+            });
+            for (const r of windowItems(rows, focus, maxItems, iw))
+                lines.push(box(r.text, r.index === focus));
+        }
+        const notes = (options.notes ?? []).flatMap((n) => wrapWords(n, iw - 3));
+        if (notes.length > 0) {
+            lines.push(box(''));
+            for (const line of notes)
+                lines.push(box('  ' + palette.faint(line)));
+        }
+        return lines;
+    }, hintLine(cols - 2, true));
+}
+/** What a key does to a text that is being typed: `undefined` when the key is not an edit. */
+export function editText(value, key) {
+    if (key === '\x7f' || key === '\b')
+        return Array.from(value).slice(0, -1).join('');
+    if (key === WORD_BACKSPACE)
+        return value.replace(/\s*\S*$/, '');
+    if (key === '\x15')
+        return ''; // Ctrl+U
+    if (/^[^\x00-\x1f\x7f\x1b]+$/.test(key))
+        return value + key; // printable text, also a pasted chunk
+    return undefined;
+}
+function openIO(io) {
+    const { input } = io;
+    const wasRaw = !!input.isRaw;
+    input.setRawMode?.(true);
+    input.resume();
+    return () => { if (!wasRaw)
+        input.setRawMode?.(false); };
+}
+/** The list narrowed by typing. Resolves with the chosen value, or undefined when cancelled. */
+export function runFinder(options, io = { input: process.stdin, output: process.stdout }) {
+    return new Promise((resolve) => {
+        const { input, output } = io;
+        const block = new LiveBlock(output);
+        let query = '';
+        let shown = filterItems(options.items, query);
+        const at = shown.findIndex((i) => options.current !== undefined && i.value === options.current);
+        let focus = at >= 0 ? at : firstMatch(shown);
+        let done = false;
+        const rows = () => output.rows || 40;
+        const draw = () => block.draw(renderFinder(options, query, shown, focus, output.columns || 80, rows()));
+        const restore = openIO(io);
+        const finish = (value) => {
+            done = true;
+            input.off('data', onData);
+            block.erase();
+            restore();
+            resolve(value);
+        };
+        const move = (delta) => {
+            const next = Math.max(0, Math.min(shown.length - 1, focus + delta));
+            if (next !== focus) {
+                focus = next;
+                draw();
+            }
+        };
+        const handleKey = (raw) => {
+            const key = normalizeKey(raw);
+            if (key === '\x1b[A' || key === '\x1bOA')
+                return move(-1);
+            if (key === '\x1b[B' || key === '\x1bOB')
+                return move(1);
+            if (key === '\x1b[5~')
+                return move(-8);
+            if (key === '\x1b[6~')
+                return move(8);
+            if (key === '\r' || key === '\n')
+                return shown.length > 0 ? finish(shown[focus].value) : undefined;
+            if (key === '\x1b' || key === '\x03')
+                return finish(undefined);
+            const edited = editText(query, key);
+            if (edited !== undefined && edited !== query) {
+                query = edited;
+                shown = filterItems(options.items, query);
+                focus = firstMatch(shown);
+                draw();
+            }
+        };
+        const onData = (chunk) => {
+            for (const key of splitKeys(chunk.toString())) {
+                if (done)
+                    return;
+                handleKey(key);
+            }
+        };
+        input.on('data', onData);
+        draw();
+    });
+}
+export function renderTextInput(options, value, cols) {
+    return frame(options.title, options.subtitle, cols, (iw, box) => {
+        const lines = [];
+        for (const line of wrapWords(options.label, iw - 2))
+            lines.push(box(' ' + palette.bold(palette.text(line))));
+        const shownValue = options.secret ? '•'.repeat(Array.from(value).length) : value;
+        const room = Math.max(4, iw - 6);
+        const text = value
+            ? palette.text(tailWidth(shownValue, room)) + palette.accent('█')
+            : palette.accent('█') + palette.faint(truncateWidth(options.placeholder ?? '', room));
+        lines.push(box(''));
+        lines.push(box(' ' + palette.accent('❯') + ' ' + text, true));
+        const notes = (options.notes ?? []).flatMap((n) => wrapWords(n, iw - 3));
+        if (notes.length > 0) {
+            lines.push(box(''));
+            for (const line of notes)
+                lines.push(box('  ' + palette.faint(line)));
+        }
+        return lines;
+    }, hintLine(cols - 2, false));
+}
+/** A one-line input. Resolves with the text (never empty), or undefined when cancelled. */
+export function runTextInput(options, io = { input: process.stdin, output: process.stdout }) {
+    return new Promise((resolve) => {
+        const { input, output } = io;
+        const block = new LiveBlock(output);
+        let value = options.initial ?? '';
+        let done = false;
+        const draw = () => block.draw(renderTextInput(options, value, output.columns || 80));
+        const restore = openIO(io);
+        const finish = (result) => {
+            done = true;
+            input.off('data', onData);
+            block.erase();
+            restore();
+            resolve(result);
+        };
+        const handleKey = (raw) => {
+            const key = normalizeKey(raw);
+            if (key === '\r' || key === '\n')
+                return value.trim() ? finish(value.trim()) : undefined;
+            if (key === '\x1b' || key === '\x03')
+                return finish(undefined);
+            const edited = editText(value, key);
+            if (edited !== undefined && edited !== value) {
+                value = edited;
+                draw();
+            }
+        };
+        const onData = (chunk) => {
+            for (const key of splitKeys(chunk.toString())) {
+                if (done)
+                    return;
+                handleKey(key);
+            }
+        };
+        input.on('data', onData);
+        draw();
+    });
+}