VirtualTam's bookmarks

61. Docker - Command output formatting 2018-06-18

    tags: command-line, linux/container/docker, programming/shell

    [ permalink ]

    • https://docs.docker.com/engine/reference/commandline/ps/
    • https://www.katacoda.com/courses/docker/formatting-ps-output
    • https://container42.com/2016/03/27/docker-quicktip-7-psformat/
    • https://golang.org/pkg/text/template/
    • https://container-solutions.com/docker-inspect-template-magic/
62. What does {some strange unix command name} stand for? 2018-06-18

    tags: gnu, linux, programming/shell, unix

    [ permalink ]

    • https://www.reddit.com/r/linux/comments/8rwo6m/what_do_unix_command_names_stand_for/
    • http://wiki.c2.com/?PerlIsNotAnAcronym
63. shell - How can I use Bash syntax in Makefile targets? - Stack Overflow 2018-06-17

    tags: linux, make, programming/script, programming/shell, programming/shell/bash

    [ permalink ]
64. Sed by Example 2018-05-24

    tags: linux, programming/script, programming/shell, replace, sed, text

    [ permalink ]

    • https://www.funtoo.org/Sed_by_Example,_Part_1
    • https://www.funtoo.org/Sed_by_Example,_Part_2
    • https://www.funtoo.org/Sed_by_Example,_Part_3
    • http://sed.sourceforge.net/sedfaq.html
    • http://sed.sourceforge.net/sed1line.txt
    • https://docs.python.org/dev/howto/regex.html
65. Awk by Example - An intro to the great language with the strange name 2018-05-24

    tags: linux, programming/awk, programming/script, programming/shell, text

    [ permalink ]

    • https://www.funtoo.org/Awk_by_Example,_Part_1

    • https://www.funtoo.org/Awk_by_Example,_Part_2

    • https://www.funtoo.org/Awk_by_Example,_Part_3

    • http://www.faqs.org/faqs/computer-lang/awk/faq/

    • http://sparky.rice.edu/~hartigan/awk.html

66. explainshell.com - match command-line arguments to their help text 2018-05-14

    tags: command-line, documentation/man-page, linux, programming/python, programming/shell, programming/shell/bash

    [ permalink ]

    • https://github.com/idank/explainshell
    • https://github.com/idank/bashlex
67. Cscope - a developer's tool for browsing source code 2018-04-22

    tags: code, editor, linux, programming/c, programming/c++, programming/shell

    [ permalink ]

    • http://cscope.sourceforge.net/large_projects.html
    • http://cscope.sourceforge.net/cscope_vim_tutorial.html
68. gron: Make JSON greppable! 2018-04-10

    tags: grep, programming/json, programming/shell

    [ permalink ]
69. Multitail 2018-04-05

    tags: color, linux, observability/logging, programming/shell

    [ permalink ]
70. termite: A keyboard-centric VTE-based terminal, aimed at use within a window manager with tiling and/or tabbing support. 2018-04-05

    tags: linux, programming/shell, terminal, window-manager/tiling

    [ permalink ]
71. How to list containers in Docker? - Stack Overflow 2018-04-04

    tags: linux/container, linux/container/docker, programming/script, programming/shell

    [ permalink ]

    For scripting:

    1$ docker ps -aq
    

    E.g.:

    1$ docker stop $(docker ps -aq)
    

72. Turning off the pager in git for the stash command only - Stack Overflow 2018-03-25

    tags: command-line/pager, programming/shell, source-code-management/git

    [ permalink ]

    • https://stackoverflow.com/questions/18126637/git-no-pager-for-specific-commands
73. GitHub - colis-anr/morbig: A trustworthy parser for POSIX shell 2018-01-29

    tags: grammar, linux, parser, programming/shell, static-analysis/lint, unix

    [ permalink ]

    • http://gallium.inria.fr/~fpottier/menhir/
    • https://www.irif.fr/en/logiciels/index
    • https://fosdem.org/2018/schedule/event/code_parsing_posix_s_hell/
74. Understanding sed – Practical Guide – Developers Area 2018-01-19

    tags: command-line, linux, programming/regular-expressions, programming/shell, text, unix

    [ permalink ]
75. neilpa/cmd-colors-solarized: Solarized color settings for Windows command prompt 2018-01-13

    tags: linux/ubuntu, microsoft/windows, programming/shell/bash, solarized, theme

    [ permalink ]

    • https://superuser.com/questions/1128269/bash-on-windows-10-is-there-way-to-apply-themes-like-solarized-to-cmd
76. Babun - a windows shell you will love! 2017-10-18

    tags: emulator, microsoft/windows, programming/shell, terminal

    [ permalink ]

    • https://github.com/babun/babun
77. How to make a new directory and a file in Vim - Stack Overflow 2017-09-26

    tags: directory, editor/vim, programming/shell

    [ permalink ]
78. windows - How to add current date/time to clink/cmder prompt - Super User 2017-07-06

    tags: cmder, conemu, microsoft/windows, programming/lua, programming/python, programming/shell, prompt, terminal

    [ permalink ]

    • https://superuser.com/questions/1108063/python-virtualenv-not-activating-in-windows-10-cmder
    • https://www.lua.org/pil/22.1.html
    • https://github.com/AmrEldib/cmder-powerline-prompt
    • https://github.com/virtualtam/dotfiles/tree/master/cmder
79. Python 2 and 3 in Powershell - Stack Overflow 2017-07-06

    tags: command-line, microsoft/windows, programming/python, programming/python/virtualenv, programming/shell, terminal

    [ permalink ]

    • https://stackoverflow.com/questions/20364207/how-do-i-add-python-3-3-to-powershell/20371084#20371084
80. Elvish: Friendly and Expressive Shell 2017-07-04

    tags: linux, programming/go, programming/shell

    [ permalink ]

    • https://github.com/elves/elvish