#!/bin/bash
work_dir=`pwd`
syn_file="$work_dir/di/aon_lint/dc/run_syn"
sed -i 's/setenv workspace.*/setenv workspace $work_dir/g' ${syn_file}
current code: setenv workspace /path/a/b/c
needed : setenv workspace /path/updated
which is $work_dir
result from script : setenv workspace $work_dir