其他问题整理
2021-8-1
| 2023-8-17
0  |  阅读时长 0 分钟
type
status
date
slug
summary
tags
category
icon
password

Hugging face

hugging face的预训练模型下载慢的问题(使用BertModel.from_pretrained()等下载慢)_#苦行僧的博客-CSDN博客 (1)
国内HuggingFace,预训练模型镜像使用_A_zhangpengjie的博客-CSDN博客 (1)

Github问题

git错误 You are not currently on a branch的解决办法
今天使用 git pullgit push 命令,分别报错:
这是什么意思呢? 说我当前不是在分支上,因此不能 pull 或者 push
然后利用git branch查看一下,发现:
我当前所处的位置是在HEAD detached from bdcfe3d8
所以进行如下操作
这三行命令的意思是:
  1. 依据快照bdcfe3d8 创建 temp 分支
  1. 切换到 master 分支
  1. 将 temp 分支合并到 master分支
再看一下所有的分支
这时候就可以进行 git pullgit push 了 记得删除 temp 分支哦
git 加tag
删除某个已经push的commit
  • 先将本地的项目指向错误的commit之前的一个commit (这个操作会删除该commit之后的所有代码更改, 记得备份现有代码)
  • 更安全地进行强制推送, --force-with-lease 可以不使用本地分支的提交强行覆盖远端推送分支.
git push to branch
Git如何忽略已经上传的文件或文件夹?
背景:使用IDEA新建项目,有时候会不小心将.idea文件夹上传上去,由于缓存的存在,之后再在.gitignore中添加这个文件夹就无效了,需要清除掉缓存.gitignore才会生效
git rm --cached <file>
这个命令会直接从暂存区删除文件,工作区则不做出改变。
git rm --cached命令比git reset head更好,前者是删除掉,后者是替换掉。
加上-r参数可以进行递归删除 eg: git rm -r --cached .idea/ 执行这个指令之后,需要重新提交代码,这个时候相当于提交了一个删除远程指定文件的请求,但是本地文件不会删除,而且.gitignore可以生效了

npm安装

 
  • Python
  • Software
  • Python 问题整理Ubuntu 批量压缩文件夹
    • Giscus
    目录