Skip to content

Instantly share code, notes, and snippets.

View yhyu13's full-sized avatar
🎯
Grinding With AI

俞航 yhyu13

🎯
Grinding With AI
View GitHub Profile
@yhyu13
yhyu13 / input.py
Created July 10, 2022 10:15
Dearpygui v1.6.2 InputManager
"""
Handle User inputs and manage input states
Example:
Main loop:
inputManager.init(args)
while dpg.is_dearpygui_running():
inputManager.run()
@yhyu13
yhyu13 / gitBash_windows.md
Created April 10, 2017 21:28 — forked from evanwill/gitBash_windows.md
how to add more utilities to git bash for windows, wget, make

How to add more to Git Bash on Windows

Git for Windows is bundled with "Git Bash" terminal which is incredibly handy for unix-like commands on a windows machine. It is missing a few standard linux utilities, but it is easy to add ones that have a windows binary available.

The basic idea is that C:\Program Files\Git\mingw64\ is your / directory according to Git Bash (note: depending on how you installed it, the directory might be different. from the start menu, right click on the Git Bash icon and open file location. It might be something like C:\Users\name\AppData\Local\Programs\Git, the mingw64 in this directory is your root). If you go to that directory, you will find the typical linux root folder structure (bin, etc, lib and so on). If you are missing a utility, such as wget, track down a binary for windows and copy the files to the corrisponding directories. Sometimes the windows binary have funny prefixes, so you should rename the exe file to the