如何在jenkinsfile中将sed -n '4，$p‘传递给sh命令？

pipeline {
    agent any
    
    stages {
        stage('Example') {
            steps {
                script {
                    // 使用双引号字符串插值将sed命令传递给sh命令
                    def sedCommand = "sed -n '4,\$p'"
                    
                    // 执行sh命令
                    sh "${sedCommand}"
                }
            }
        }
    }
}