KamilCuk
2019-07-03 22:08
Having x AND y, then nagating it you get: NOT (x AND y). This is equal to (NOT a) OR (NOT b). It is not equal to (NOT x) AND (NOT y).
I want to check if a file is a file and exists and if it is not empty
If you want to check if a file is a regular file and if it is not empty, then you do:
[[ -f path ]] && [[ -s path ]]
否定将是（每行相等）（请注意De Morgan定律）：
! ( [[ -f path ]] && [[ -s path ]] )
[[ ! -f path || ! -s path ]]
您也可以这样写（每行相等）：
! [[ -f path && -s path ]]
[[ ! ( -f path && -s path ) ]]
[[ ! -f path ]] || [[ ! -s path ]]
# or using `[` test and `-a` and `-o`:
! [ -f path -a -s path ]
[ ! -f path -o ! -s path ]
[ ! \( -f path -a -s path \) ]
所以就：
if [[ ! -f "/path/to/dir/" || ! -s "/path/to/dir/" ]]; then
echo "The /path/to/dir is not a regular file or size is nonzero"
else
echo "The path /path/to/dir is a regular file and it's size is zero"
fi
热门帖子
相关问题
热门github
1
2
3
5
6
7
8
11
13
14
15
Mamba is a new state space model architecture showing promising performance on information-dense data such as language modeling, where previous subquadratic models fall short of Transformers. It is based on the line of progress on structured state space models, with an efficient hardware-aware design and implementation in the spirit of FlashAttention.
(翻译：Mamba 是一种新的状态空间模型架构，在信息密集型数据（例如语言建模）上显示出良好的性能，而之前的二次模型在 Transformers 方面存在不足。它基于结构化状态空间模型的进展，并本着FlashAttention的精神进行高效的硬件感知设计和实现。)
我对斜线结尾处的内容不屑一顾
/path/to/dir/，认为值得一提，但今天早上很难说清楚。也许在底部添加一个注释，以澄清是否存在斜线，它是目录吗？@Kamil Cuk mybe您正在使用不同的Bash版本（我在4.1.2（1）-发行版上），并且-s是不够的。如果我这样传递现有的目录路径：
if [[ -s "/opt/gmdemea/smartmap_V2/maps/" ]]; then echo "Exists"; else echo "Does not exists"; fi它不是文件时返回“ Exists”，因此应该转到else子句并返回“不存在”。@PiotrPanczyk你是对的。我认为将dir视为大小为零的文件...：/
@EdMorton我认为是因为理论上
[[ a ]] || [[ b ]]将运行两个进程，而[[ a || b ]]仅运行一个。请注意，b如果a在两种情况下为false，都不会处理。较少的进程通常会导致脚本更快。而且输入的次数更少。我承认，我没有给这种说法不够想法（不过我想我反正站在它，还是会使用&&||内部[[在我的脚本）@KamilCuk我和您理解'-s'，并且在代码中单独使用，这使我陷入麻烦。这就是为什么开始对此进行调查。