Option 1. First you map the array to get those numbers (and not the full details): $numbers = array_column($array, ‘weight’) Then you get the min and max: $min = min($numbers); $max = max($numbers); Option 2. (Only if you don’t have PHP 5.5 or better) The same as option 1, but to pluck the values, use … Read more
You could use awk for this. Change ‘$2’ to the nth column you want. awk -F “\”*,\”*” ‘{print $2}’ textfile.csv
Here’s a great python module someone wrote to solve this problem after seeing this question: https://github.com/john-kurkowski/tldextract The module looks up TLDs in the Public Suffix List, mantained by Mozilla volunteers Quote: tldextract on the other hand knows what all gTLDs [Generic Top-Level Domains] and ccTLDs [Country Code Top-Level Domains] look like by looking up the … Read more
If you’re running a recent-ish version of pandas then you can use the datetime attribute dt to access the datetime components: In [6]: df[‘date’] = pd.to_datetime(df[‘date’]) df[‘year’], df[‘month’] = df[‘date’].dt.year, df[‘date’].dt.month df Out[6]: date Count year month 0 2010-06-30 525 2010 6 1 2010-07-30 136 2010 7 2 2010-08-31 125 2010 8 3 2010-09-30 84 … Read more
Use parameter expansion, if the value is already stored in a variable. $ str=”GenFiltEff=7.092200e-01″ $ value=${str#*=} Or use read $ IFS=”=” read name value <<< “GenFiltEff=7.092200e-01” Either way, $ echo $value 7.092200e-01
I find that it is only bad practice in that it can lead to a number of variables which future maintainers (or yourself in a few weeks) have no idea where they’re coming from. Consider this scenario: extract($someArray); // could be $_POST or anything /* snip a dozen or more lines */ echo $someVariable; Where … Read more
If you’re wondering how to get the file content from each ZipEntry it’s actually quite simple. Here’s a sample code: public static void main(String[] args) throws IOException { ZipFile zipFile = new ZipFile(“C:/test.zip”); Enumeration<? extends ZipEntry> entries = zipFile.entries(); while(entries.hasMoreElements()){ ZipEntry entry = entries.nextElement(); InputStream stream = zipFile.getInputStream(entry); } } Once you have the InputStream … Read more
You can use the module PyMuPDF. This outputs all images as .png files, but worked out of the box and is fast. import fitz doc = fitz.open(“file.pdf”) for i in range(len(doc)): for img in doc.getPageImageList(i): xref = img[0] pix = fitz.Pixmap(doc, xref) if pix.n < 5: # this is GRAY or RGB pix.writePNG(“p%s-%s.png” % (i, … Read more
To get the first n elements of an array, use const slicedArray = array.slice(0, n);
To split the string ({filepath}/{filename}) and get the file name you could use something like this: str.split(/(\\|\/)/g).pop() “The pop method removes the last element from an array and returns that value to the caller.” Mozilla Developer Network Example: from: “/home/user/file.txt”.split(/(\\|\/)/g).pop() you get: “file.txt”