Alnoda workspaces

Added by: devmonk
Apr 19, 2023

Version

~> Micro

Description

Modern and intuitive terminal-based text and code editor

Install (execute in workspace terminal)

wrk install micro==2.0.11

Remarks and hints

<- -> -- Navigate file tree folders
Tab -- Open file from file tree
Ctr + q -- Close file / tab

Scripts

# Istall script

cd /tmp
wget https://github.com/zyedidia/micro/releases/download/v2.0.11/micro-2.0.11-amd64.deb
sudo dpkg -i micro-2.0.11-amd64.deb
rm /tmp/micro-2.0.11-amd64.deb
micro -plugin install filemanager 
micro -plugin install quoter
micro -plugin install lsp
micro -plugin install manipulator
micro -plugin install wc
micro -plugin install go
micro -plugin install jlabbrev
micro -plugin install fzf
micro -plugin install aspell
micro -plugin install joinLines
micro -plugin install nordcolors
micro -plugin install jump
micro -plugin install detectindent

cat >/home/abc/.config/micro/settings.json <<EOL
{
    "colorscheme": "solarized",
    "filemanager.openonstart": true
}
EOL

wrk cheatsec 'Micro editor'
wrk cheat 'Micro editor' '<- ->' 'Navigate file tree folders'
wrk cheat 'Micro editor' 'Tab' 'Open file from file tree'
wrk cheat 'Micro editor' 'Ctrl + q' 'Open file from file tree'
wrk cheat 'Micro editor' 'Ctrl + e' 'Open command prompt'
wrk cheat 'Micro editor' 'Ctrl + c' 'Copy text'
wrk cheat 'Micro editor' 'Ctrl + v' 'Paste text'
wrk cheat 'Micro editor' 'Ctrl + z' 'Undo'
wrk cheat 'Micro editor' 'Ctrl + y' 'Redo'

# Start script

UI

// App port: 13487

compatible with all workspaces

no compatibility requirements

~> App

~> Micro

Description

Tags

Links

Install (execute in workspace terminal)

Remarks and hints

Scripts

UI

!= Workspace compatibility

!= App compatibility