diff options
author | Evgeny Zinoviev <me@ch1p.io> | 2022-07-10 23:59:40 +0300 |
---|---|---|
committer | Evgeny Zinoviev <me@ch1p.io> | 2022-07-10 23:59:40 +0300 |
commit | 8367359c3534a2dcaad724099d6060b6926d412e (patch) | |
tree | 8d7984080578be2cd98cc50fc8a7443f5ee6b127 | |
parent | 1c524efbf7da91cb99bb4516feb514071e938495 (diff) |
deploy: replace stupid cat|grep|tee with sed
-rwxr-xr-x | deploy.sh | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -33,7 +33,7 @@ fi $PHP build_static.php cp "$DEV_DIR/config-local.php" . -cat config-local.php | grep -v is_dev | tee config-local.php >/dev/null +sed -i '/is_dev/d' ./config-local.php popd # copy staging to prod |