question-mark
Stuck on an issue?

Lightrun Answers was designed to reduce the constant googling that comes with debugging 3rd party libraries. It collects links to all the places you might be looking at while hunting down a tough bug.

And, if you’re still stuck at the end, we’re happy to hop on a call to see how we can help out.

FEATURE: push commands

See original GitHub issue

Commands to go to the end of the line and insert some sort of symbol, relative to the language being coded in may be quite useful. For example for python, the following command may be quite useful,

push comma:
     edit.line_end()
     insert(",")
     key(enter)

This sort of command can be especially useful for languages like C, where brackets need to be commonly inserted at the end of lines and where semicolons are inserted at the end of statements.

Just wondering if this seems like a good idea or better for users to implement for their specific use cases.

Issue Analytics

  • State:open
  • Created 3 years ago
  • Reactions:1
  • Comments:20 (13 by maintainers)

github_iconTop GitHub Comments

1reaction
pokeycommented, May 21, 2022

Going back through issues, and looks like this one dropped off the radar. I see also the discussion got fairly off topic.

  • Is it worth capturing some of the off-topic discussion into one or more other issues?
  • Shall we file a PR for the actual requested feature

Fwiw, I have a version of this code, using the term “patch”, eg “patch colon”: https://github.com/pokey/pokey_talon/blob/c4bfc67e2920aa4f6093335942d90fa2392bd6e4/text/symbols.talon#L5-L10

1reaction
knausj85commented, Jul 17, 2020

Oh, vim. Could potentially use a custom action here, defaulted to line start/end for most editors, that vim et al could override to enter insertion mode as well…

Read more comments on GitHub >

github_iconTop Results From Across the Web

Git Push | Atlassian Git Tutorial
The git push command is used to upload local repository content to a remote repository. Pushing is how you transfer commits from your...
Read more >
Git Push Command Explained With Demo - Simplilearn
The Git push command is used to push the local repository content to a remote repository.
Read more >
git push - Publishing new local changes on a remote server
The "push" command is used to publish new local commits on a remote server. · Pushes all local branches. · Pushes all local...
Read more >
git-push Documentation - Git
When neither the command-line nor the configuration specify what to push, the default behavior is used, which corresponds to the simple value for...
Read more >
The Git Push Command Explained - freeCodeCamp
The git push command allows you to send (or push) the commits from your local branch in your local Git repository to the...
Read more >

github_iconTop Related Medium Post

No results found

github_iconTop Related StackOverflow Question

No results found

github_iconTroubleshoot Live Code

Lightrun enables developers to add logs, metrics and snapshots to live code - no restarts or redeploys required.
Start Free

github_iconTop Related Reddit Thread

No results found

github_iconTop Related Hackernoon Post

No results found

github_iconTop Related Tweet

No results found

github_iconTop Related Dev.to Post

No results found

github_iconTop Related Hashnode Post

No results found