📄 corename
字号:
#! /bin/bash## original from:# @(#) corename.ksh 1.0 93/04/01# 92/11/11 john h. dubois iii (john@armory.com)# 92/02/16 Added help option.# 92/02/22 Added cd to origdir to fix prob w/multiple relative paths.# 93/04/01 Added check for whether file exists.## conversion to bash v2 syntax done by Chet Ramey# inspired by belal's equivalent utilityif [ "$1" = -h ]; then echo \"$0: print the names of executables that dumped core.Usage: $0 [corename ...]If no corename is given, \"core\" is assumed." exit 0fi[ $# = 0 ] && set coreorigdir=$PWDfor i; do cd $origdir file=${i##*/} dir=${i%$file} [ -z "$dir" ] && dir=$origdir/ if [ ! -f $dir$file ]; then echo "$dir$file: No such file." continue fi if [ ! -r $dir$file ]; then echo "$dir$file: Cannot open." continue fi cd $dir # the adb output syntax is highly variable. this works on SunOS 4.x set -- $(adb $file < /dev/null 2>&1 | sed 1q) name=${7#??} echo "$i: ${name%??}"done
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -