User Tools

Site Tools

Trace: • dividends • share_2023 • costco_notes • convert_a_string_to_a_dictionary
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 revision		Previous revision
Next revisionBoth sides next revision
github_notes [2022/09/13 16:58] – [search issues filed by a user] rajugithub_notes [2023/12/25 07:53] – [search files with extension] raju
Line 1: Line 1:
 +===== favorite configuration =====
 +==== show private contributions on the github profile ====
 +  * Profile icon at the top right -> Settings -> Contributions & Activity -> "Include private contributions on my profile" -> check -> "Update preferences"
 +
 +==== hide achievements on the github profile ====
 +  * Profile icon at the top right -> Settings -> Profile Settings -> "Show Achievements on my profile" -> uncheck -> "Update preferences"
 +
 ===== dummy ===== ===== dummy =====
 ==== links I came across ==== ==== links I came across ====
Line 14: Line 21:
  
 ===== searching code ===== ===== searching code =====
 +==== search files with extension ====
 +<code>
 +foo path:*.extension
 +</code>
 +
 +ex:-
 +<code>
 +foo path:*.ipynb
 +</code>
 +
 +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 ====
 Use Use
github_notes.txt · Last modified: 2024/01/26 18:14 by raju