- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
for n in `cd src; find . -name "*.java"; cd -`;
do a=`echo $n | cut -d '.' -f2`;
if [[ src/$a.java -nt build/$a.class ]];
then echo src/$a.java;
fi;
done
它列出了src树中的所有java文件;然后,对于每一个,它都会删除后缀“.java”(cut -d '.' -f2
因为 find .
输出以 .
为前缀>)。然后使用 -nt 来测试 src 树中的 java 文件是否比构建树中相应的类文件新;如果较新,则输出。 [javac 然后可以使用它来仅编译所需的 src 文件,而不是使用 ant
或 make
]
问题是太慢了,大约需要275ms。如何让它更快?
或者有没有更快的方法在 bash 中做到这一点?我不知道如何使用 find
、diff
、rsync
或 make
(这不似乎自动遍历树,并且需要明确列出的源文件)。
最佳答案
试试这个:
for f in src/*.java; do
file=`basename $f`;
if [[ src/$file -nt build/${file//.java/} ]]; then
echo src/$file;
fi;
done
关于java - src 与构建树时间戳比较如何更快?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/1846383/
给定一个带有多个 date_time 戳的字符串,我想 提取第一个戳及其前面的文本 候选字符串可以有一个或多个时间戳 后续的 date_time 戳记将被 sep="-" 隔开 后续date_time
是否可以合并从相机拍摄的文本和照片?我想在照片上标记日期和时间,但我在 Google 上找不到任何内容。 最佳答案 使用下面的代码来实现你所需要的。 Bitmap src = Bitm
有没有办法通过 Graph API 戳另一个用户?基于this post ,并使用 Graph Explorer ,我发布到“/USERID/pokes”,我已经授予它(Graph API 应用程序和
我有两个向左浮动的元素。一个是 body 的第一个 child ,另一个是容器的第一个 child ,容器是 body 的第二个 child 。 ...
我是一名优秀的程序员,十分优秀!