book
tortoisegit
book | tortoisegit | |
---|---|---|
6 | 35 | |
1,979 | 1,380 | |
0.7% | 1.3% | |
5.8 | 9.4 | |
3 months ago | 7 days ago | |
TeX | C++ | |
- | GNU General Public License v3.0 or later |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
book
-
LaTeX for books?
Some famous collaborative books: * https://github.com/HoTT/book * https://github.com/OpenLogicProject/OpenLogic * https://github.com/stacks/stacks-project * http://math.uchicago.edu/~amathew/cr.html
-
Introduction to Homotopy Type Theory
Is this supposed to be more accessible than the HoTT textbook that's been maintained on Github for some years? https://github.com/HoTT/book
-
Does something like git for MS Word Exisits?
Here's one example of a book with multiple collaborators: https://github.com/HoTT/book (Credit to Colt Steele, who mentions it in his The Git & GitHub Bootcamp course on Udemy).
- Use Inclusive Language in §1.11
-
How can a layman begin learning Martin-Löf Type Theory? What are the prerequisites to learn it?
If the pdf links don't work, those on the github link should work: https://github.com/HoTT/book/wiki/Nightly-Builds
-
Advancements in math typesetting
Office packages (e.g. Microsoft Word or LibreOffice Calc) because I firmly believe that WYSIWYG editors are a nightmare for both version control and collaborative editing (yes, I know about Google Docs, but imagine writing the HoTT book or Stacks project in Google Docs).
tortoisegit
- I don't know why so many devs avoid a GUI for Git
-
Turtle – Git Client for Gnome
There is also a TortoiseGit that is based on TortoiseSVN
https://en.wikipedia.org/wiki/TortoiseGit
https://tortoisegit.org/
-
Suggestions for portfolio projects.
TortoiseGit sourcetree git kraken some times you need to compare to files you can do this with the notpad++ compare plugin or with Meld
-
GIT GUI tool or command line?
Instead on my PC I use TortoiseGit. Most useful for the git log (as a graph), diff with previous versions,, filter files to commit by directory and ability to exclude files from the current commit, and most of all; ease of splitting a commit for each single file into parts by ability to "restore after commit" which allows you to edit a file before the commit and have it automatically restored to the pre-commit state afterwards.
- Tortoise SVN to Git. Windows Integration Context Menu?
-
TexStudio - git integration for easy committing?
If running TeXStudio in Windows, my personal preference is to keep the automatic check-in disabled and to use the manual one (File -> SVN/git -> Check in); this allows an individual commit message with the briefer abstract line, empty line, and the longer report. Perhaps it is less exhaustive then a proper git client (in Windows e.g., tortoise), yet TeXStudio' GUI and integrated version control allows to resolve many typical situations. The developers document as advanced use; heck, after some time, it becomes second nature. In case of missing git-related functionality, you still can opt for an other git GUI or for git from the command line independent of TeXStudio's choice.
-
Git-SIM: Visually simulate Git operations in your own repos with a single termi
> We now have a large selection of tools that allow you to visualize what's going on (I use git-kraken), as well as google for help on doing something that isn't in muscle memory.
Git Kraken is excellent, though Git has a page on various GUIs, many of which are free with no restrictions: https://git-scm.com/downloads/guis
Personally, on Windows I like SourceTree: https://www.sourcetreeapp.com/
Some that have worked with SVN back in the day like TortoiseGit: https://tortoisegit.org/
On *nix Git Cola seems to do the job for me: https://git-cola.github.io/
Then again, the most complex workflow I've worked with was Git Flow and I didn't need anything more advanced than that. Come to think of it, I don't really do rebases often either and mostly just take advantage of squashing commits through GitLab/Gitea and such, when needed.
But hey, that's also valid, using Git in a way where you get version control but mostly keep the technical details out of your way (though Git LFS and certain cases with particular line endings being needed does make you drop down occasionally).
-
Committing to repositories
The method to add the illustration to git, either from the command line, or via a GUI (for example TortoiseGit) should not have an influence how the image is managed by git itself. There is no "watermark" like stamp on the picture from which you later could tell if the picture, or the edit on the picture was committed from the CLI, or e.g., tortoise, either.
-
Noob question: Does anyone use things like git gui?
I started with TortoiseGit (coming from TortoiseSVN), then used SourceTree for a while (until Atlassian broke it. I hear it is better now), but I’ve settled in GitKraken for my work stuff where I need to maintain full histories while ping-ponging code features between many branches. I’ve heard great things about GitTower too.
- How can I find someone to explain
What are some alternatives?
git-diff-img - 📷 Diff Git versioned images graphically.
GitExtensions - Git Extensions is a standalone UI tool for managing git repositories. It also integrates with Windows Explorer and Microsoft Visual Studio (2015/2017/2019).
tectonic - A modernized, complete, self-contained TeX/LaTeX engine, powered by XeTeX and TeXLive.
cz-cli - The commitizen command line utility. #BlackLivesMatter
stacks-project - Repository for the Stacks Project
Cryptomator - Multi-platform transparent client-side encryption of your files in the cloud
github-orgmode-tests - This is a test project where you can explore how github interprets Org-mode files
vscode-git-graph - View a Git Graph of your repository in Visual Studio Code, and easily perform Git actions from the graph.
pandoc - Universal markup converter
intellij-community - IntelliJ IDEA Community Edition & IntelliJ Platform
Asciidoctor - :gem: A fast, open source text processor and publishing toolchain, written in Ruby, for converting AsciiDoc content to HTML 5, DocBook 5, and other formats.
lazygit - simple terminal UI for git commands