Search Results for "bash editor"

Code, run and monitor your data pipelines all from your browser! From idea to scheduled pipeline in hours, not days. Interactively build your data science pipelines in our visual pipeline editor. Versioned as a JSON file. Run scripts or Jupyter notebooks as steps in a pipeline. Python, R, Julia, JavaScript, and Bash are supported. Parameterize your pipelines and run them periodically on a cron schedule. Easily install language or system packages. Built on top of regular Docker container images. Creation of multiple instances with up to 8 vCPU & 32 GiB memory. ...

PathPicker accepts a wide range of input, output from git commands, grep results, searches, pretty much anything. After parsing the input, PathPicker presents you with a nice UI to select which files you're interested in. After that you can open them in your favorite editor or execute arbitrary commands. Facebook PathPicker is a simple command line tool that solves the perpetual problem of selecting files out of bash output. Bash is fully supported and works the best. ZSH is supported as well, but won't have a few features like alias expansion in command line mode. csh/fish/rc are supported in the latest version, but might have quirks or issues in older versions of PathPicker. ...

Screwdriver is an Simple Dis-Integrated Development Environment (SDIDE) used for programming in Python, PySide, Bash and Other object-oriented programming technologies. Source code management Interface can Push Up to 97 branches into the Git server. Reclaim your favourite Linux text editor.

Jollpi is a simple but usefull text editor. One of Jollpi's main features is the colorized syntax, customized for many different programming language such as: C/C++, Java, Python, Perl, Bash, etc.

gedit-tabindent is a plugin for the gnome text editor gedit that provides emacs-like automatic tab indent for a few programming languages (currently C/C++/Java/Python/Ruby/Bash).