→ akasan:valgrind, 但 windowns 版的沒試過XD 11/02 00:43
→ akasan:linux 上那真的是不二選擇了 11/02 00:44
→ Linux:我是用 Windows ....>"< 11/02 00:45
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 218.161.94.175
※ 文章網址: http://www.ptt.cc/bbs/Linux/M.1406900317.A.D51.html
※ 引述《ireullin (raison detre)》之銘言：
: 請問各位
: 我下命令 git branch -r 得到下面結果
: origin/DevelopJsonComponent
: origin/DevelopJsonComponent2
: origin/HEAD -> origin/master
: origin/developing2
: origin/master
: 可是我一直不懂這個 origin/HEAD 是?
: 他是如何產生的呢?
: 為何會指向 origin/master?
: 好像不是所有的遠端都會有這個?
: 在遠端使用HEAD去指向一個遠端的branch有意義嗎?畢竟遠端只是儲存,沒有實際工作
: 請問這個可以刪掉嘛?
: 如果可以要如何做?
origin/HEAD 代表遠端的 default branch
也就是你 clone (與一些其他操作) 時預設會切換到的 branch
預設而言它就會指到 origin/master
因為它不是真正存在的東西, 只是一個設定值
所以你也刪不掉 (git push origin :HEAD 會出錯)
每個遠端都會有一個 default branch, 但是它不一定會被下載到你的 local repo
origin/ 系列的 branch 通常代表 origin remote 上某 branch 在你電腦上的副本
和其他 git 操作相同, 你對這個副本做的事情幾乎都是本地的
而你也沒辦法 push 到 origin 的 HEAD (它又不是 branch)
所以你在本地端基本上不可能影響到遠端的 default branch 狀態
--
作者 Linux (Windows) 看板 C_and_CPP
標題 [問題] 如何確認是否 free 對記憶體
時間 Fri Nov 2 00:14:03 2012