Files
dots/kate/externaltools/Run%20Shell%20Script.ini
Leandro Afonso f0cdef9259 init
2025-09-27 18:39:59 +01:00

14 lines
386 B
INI

[General]
actionName=externaltool_RunShellScript
arguments=-e sh -c "cd %{Document:Path} && pwd && chmod -vc a+x %{Document:FileName} && ./%{Document:FileName} ; echo Press enter to continue. && read null"
category=Tools
cmdname=run-script
executable=konsole
icon=system-run
name=Run Shell Script
output=Ignore
reload=false
save=CurrentDocument
trigger=None
workingDir=%{Document:Path}