- Metric Space and Analysis: Prove that if U is an open subset of R and c∈U, then U\{c} is disconnected
- Lebesgue-Stieltjes integral with a directed and absolutely continuos cash-flow
- Size-biased sampling for family size
- Prove $\sup(S \cup T) = \max\{\sup S, \sup T\}$
- Density of a Probability measure with respect to an equivalent one
- Using the sequential definition of a limit to show $\lim_{x\to 1} \frac{x^2 - 1}{\sqrt{x} - 1} = 4.$
- Showing an isomorphism exists between either $\mathbb Z_4$ or $\mathbb Z_2 \times \mathbb Z_2$
- Reproducing Adam paper with scikit-learn
- 3 Dimensional Test of Association (2x2x3; outcome variable 3 layer) with low N
- How to extend a Keras loss function
- What to do if time series are non-stationary?
- Gaussian mixed model. Finding the cut-off
- how would you report as the coefficient of variation in the regression model
- Prove these points are not linearly separatable
- R lm output - t values and Pr(>|t|) don't correspond
- Does a data-dependent sampling rule induce correlation?
- Wilks Test for geometric distribution
- How do I diagnose the source of focus problem in a camera?
- Why do most 2D platformers start off in the left and progress in the right direction?
- Why can't I load images in processing.js and let them be dynamic?

# `find-grep` (aka `grep-find`) not finding a line when in an upper directory

GNU Emacs 24.5.1 (i686-pc-mingw) with a cygwin environment installed at C:/cygwin64 on a Windows 7 machine.

M-x find-grep (aka grep-find), then:

find . -type f -name '*-2017-12-12_09.22.57.log' -exec grep -nHE 'ERROR:' {} \;

finds a number of ERROR: lines in various .log files at various depths in the directory hierarchy where I am working.

One particular file with an 'ERROR:'

./PFF/PFF/PFF.bat-2017-12-12_09.22.57.log

is not found unless I change down a directory level, starting in ./PFF, or unless the parent directory name is [at least] one character longer or shorter (but see below.) e.g. the ERROR: line is found in

./PFF/PFFm/PFF.bat-2017-12-12_09.22.57.log

or in

./PFF/PFF-/PFF.bat-2017-12-12_09.22.57.log

but never in

./PFF/PFF/PFF.bat-2017-12-12_09.22.57.log

whether the original ./PFF/PFF directory is renamed or copied to a [longer-named] parent (when copied, I have both ./PFF/PFF and ./PFF/PFFx directories.)

Then it gets weird - if I have a copy of