为什么 Jetty 启动脚本从基本名称中删除 [SK][0-9]?

Why Jetty boot script remove [SK][0-9] from base name?

我阅读了 Jetty 9 引导脚本并发现了这个:

#!/usr/bin/env bash
#
# Startup script for jetty under *nix systems (it works under NT/cygwin too).

##################################################
# Set the name which is used by other variables.
# Defaults to the file name without extension.
##################################################
NAME=$(echo $(basename [=10=]) | sed -e 's/^[SK][0-9]*//' -e 's/\.sh$//')

# To get the service to restart correctly on reboot, uncomment below (3 lines):
# ========================
# chkconfig: 3 99 99
# description: Jetty 9 webserver
# processname: jetty
# ========================

我想知道为什么我们应该从 NAME 中删除 S / K 和数字。

/search/S2jetty.sh => 码头

谁能解释一下?

非常感谢!

它正在尝试从当前 运行 的初始化脚本中获取名称。

/etc/init.d 目录中的链接都以 S(开始)或 K(终止)和数字(控制排序顺序)开头。

该字母+数字组合是服务系统的人工产物,而不是相关服务名称的一部分,因此正在删除该前缀。