User Tools

Site Tools

Trace: • gold_notes • zsh_notes • remove_lines_with_duplicate_letters
github_notes

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
Next revisionBoth sides next revision
github_notes [2023/12/25 07:52] – [search in a particular file] rajugithub_notes [2023/12/25 07:53] – [search files with extension] raju
Line 23: Line 23:
 ==== search files with extension ==== ==== search files with extension ====
 <code> <code>
-path:*.extension+foo path:*.extension
 </code> </code>
  
Line 32: Line 32:
  
 will search for ''foo'' in .ipynb files will search for ''foo'' in .ipynb files
 +
 +Ref:- https://stackoverflow.com/questions/59909592/how-can-i-search-all-files-ending-with-the-file-extension-feature-on-github
  
 ==== search in a particular file ==== ==== search in a particular file ====
github_notes.txt · Last modified: 2024/01/26 18:14 by raju