zyedidia / micro

A modern and intuitive terminal-based text editor

Home Page:https://micro-editor.github.io

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

How to insert from shell? E.g insert date in current line?

zDEFz opened this issue · comments

commented

Description of the problem or steps to reproduce

Specifications

I want to make a key binding to insert the current date instead of requiring a silly input automation like
bindsym $meta+Home exec echo type $(date '+%a %Y-%m-%d %H:%M:%S') | dotool

Version: 2.0.15-dev
Commit hash: 04c5770
Compiled on August 28, 2024

commented

You can use the textfilter command:
textfilter date '+%a %Y-%m-%d %H:%M:%S'

Commands can be bound to keys by editing ~/.config/micro/bindings.json (see help keybindings for details):

{
    "Alt-d": "command:textfilter date '+%a %Y-%m-%d %H:%M:%S'"
}