view bin/sed @ 11995:4de59c4fd0bd draft

<arseniiv> addquote <shachaf> The domain is public, but what\'s the codomain?
author HackEso <hackeso@esolangs.org>
date Thu, 31 Oct 2019 10:47:36 +0000
parents 2f89f6385868
children
line wrap: on
line source

#!/bin/bash
/bin/sed "$@" && if [[ $# == "3" && "/$1" == "/-i" ]]; then echo -n "$3//"; cat "$3"; fi