#!/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
 
     
    