- 综合排序
- 最热优先
- 最新优先
- 来自专栏Windows技术交流
Windows 符号链接、软硬链接方案（mklink 、subst、psubst、visual subst、Link Shell Extension）
https://www.ntwind.com/software/visual-subst.html 三、psubst https://github.com/ildar-shaimordanov/psubst https://github.com/ildar-shaimordanov/psubst/releases/tag/v3.0.1 How does subst work? Create new virtual drive: subst Z: "C:\Documents and Settings\All Users\Shared Documents" Delete the virtual drive: subst Z: /D https://en.wikipedia.org/wiki/SUBST Importing reg file The easiest way to Here is an example: @ECHO off SUBST f: d:\mount\db SUBST g: d:\mount\log Run on boot (registry) Edit
4K30编辑于 2024-08-15 - 来自专栏10km的专栏
windows:subst 映射文件夹为盘符塈设置开机启动执行bat脚本
我们知道将一个文件夹映射成一个本地盘符只要用subst命令就能轻松完成。 但是subst命令映射的盘符没办法保存，电脑重启就没有了，所以我们需要写一个脚本，让windows开机启动时执行这个脚本来完成subst的工作。。 内容很简单: rem 映射当前路径[%~sdp0]为J: echo off set MY_WORK_PATH=%~sdp0 subst J: %MY_WORK_PATH:~0,-1% subst 这个脚本的作用
2.8K10发布于 2019-05-25 - 来自专栏函数式编程语言及工具
Scalaz（21）－类型例证：Liskov and Leibniz - type evidence
值得注意的是apply，和subst这个抽象函数：输入参数F[A]返回结果F[B]。 [({type λ[X] = A => X})#λ](identity) implicit def subst[A, B](a: A)(implicit f: A === B): B = f.subst ===[String,Int] ev(a)就是apply(a)=subst[Id](a)=a, 暗地里subst帮助了类型转换A=>String，这点我们可以通过调换A和String的位置来再次证明： 同样是这个subst函数：首先F[-_]是逆变，F[B]=>F[A]需要A是B的子类。 在subst函数里输入参数F[B]直接替代了返回结果F[A]。
65860发布于 2018-01-05 - 来自专栏Windows技术交流
Windows 260字符路径限制可以用subst映射新盘符来缩短，也可以用mklink
注册表项置为1；低版本Server系统则只能用subst.exe命令来缩短路径；subst.exe在20多年前就有了，适用所有windows系统，不论pc还是server。 命令 cmd命令行：注意结尾不要带\，/D删除映射前注意先cd /d C:切换到其他盘符 subst.exe P: "C:\1xxx" cd /d P: dir cd /d C: subst.exe P : /D subst.exe Q: "%systemdrive%\1xxx" cd /d Q: dir cd /d C: subst.exe Q: /D subst.exe Q: "%systemdrive 只适合本地磁盘，不适合映射网络挂载盘，虽能映射，但在网络挂载盘有性能问题时，subst会自动多次重试，会一下子拉跨explorer导致整个系统hang md Q:\ cd /d C: subst.exe Q: /D @rem 删掉Q:盘符后，回到最初的路径，你看到了最后新创建的那个文件夹，但是你打不开，当你用subst挂到Q:后，能打开 subst subst.exe对网络盘有重大弊端，非常不适合挂共享盘比如
1.7K21编辑于 2024-05-10 - 来自专栏全栈程序员必看
新秀nginx源代码分析数据结构篇（四）红黑树ngx_rbtree_t
); 45: 46: if (subst == subst->parent->left) { 47: subst->parent->left = temp; : if (subst == node) { 54: 55: temp->parent = subst->parent; 56: 57: } else { 58: 59: if (subst->parent == node) { 60: temp->parent = subst subst->parent = node->parent; 69: ngx_rbt_copy_color(subst, node); 70: 71: if (subst->right !
55510编辑于 2022-07-06 - 来自专栏FreeSWITCH中文社区
Kamailio 预处理器指令简述
、substdef、substdefs subst 字符串替换。 subst "/DBNAME/kamailio/g" # 数据库名字替换为 kamailio, g 代表全局替换 #!subst "/DBPASSWD/xyz/" # 数据库密码替换为 xyz #! subst "!NATS_URL!nats://113.13.13.13:4222!g" # 这里不能再用 / 当分隔符，要用 ! 下面的例子单个 subst 没问题，但放一起就会出问题: #! subst "/SIP_PORT/5060/g" #! subst "/SIP_PORT_2/5080/g" # 处理成 /5060_2/5080/g，subst 执行的是字符串替换 substdef 的作用跟 subst 是一样的，用 kamcmd core.ppdefines_full
82800编辑于 2025-04-13 - 来自专栏Android程序Shape使用总结！
Android开发实践：Android.mk模板
native sdk include $(CLEAR\_VARS) LOCAL\_MODULE := native\_sdk LOCAL\_SRC\_FILES := \\ $(subst $(LOCAL\_PATH)/,,$(wildcard $(LOCAL\_PATH)/src/algorithm/\*.c)) \\ $(subst $(LOCAL\_PATH)/,,$(wildcard $(LOCAL\_PATH)/src/core/\*.c)) \\ $(subst $(LOCAL\_PATH)/,,$(wildcard $(LOCAL\_PATH)/src/network /\*.c)) \\ $(subst $(LOCAL\_PATH)/,,$(wildcard $(LOCAL\_PATH)/src/utils/\*.c)) \\ $(subst $(LOCAL 对于 Android.mk 而言，如果要依赖第三方库文件，则必须添加 PREBUILT_XXXX_LIBRARY 进行预编译，LOCAL_SRC_FILES 宏给出了需要编译的源文件列表，这里我通过 subst
64920编辑于 2021-12-01 - 来自专栏零域Blog
「SF-PLF」17 UseTactics
需要 subst, clear *) - inversion H. subst. inversion H2. subst. (* now... *) - inverts H. inverts H2. Tactics for Working with Equality asserts_rewrite and cuts_rewrite substs better subst - not fail on
33650编辑于 2022-03-02 - 来自专栏零域Blog
「SF-PLF」1 Equiv
- (* -> *) inversion H; subst. (* inverse E_Seq *) inversion H2. subst. (* inverse = 42 + 53](Y + X) => Y + (42 + 53) **) Example subst_aexp_ex : subst_aexp X (42 + 53) (Y + X)% ::= a2) (x1 ::= a1;; x2 ::= subst_aexp x1 a1 a2). 然而如果 a1 不是常量，副作用很容易让这个转换 unsound 那么怎么证明 ¬subst_equiv_property (即该性质不成立)? subst. inversion Hcontra'. Qed.
67720编辑于 2022-03-02 - 来自专栏码匠的流水账
聊聊logback的UNDEFINED_PROPERTY
提供了substVars方法，它执行NodeToStringTransformer的substituteVariable方法 substituteVariable ch/qos/logback/core/subst substituteVariable方法则先根据input解析node，再创建NodeToStringTransformer，执行其transform方法 transform ch/qos/logback/core/subst stringBuilder.toString(); } transform方法主要是执行compileNode，通过stringBuilder来收集变量值 compileNode ch/qos/logback/core/subst n.next; } } compileNode方法针对VARIABLE类型的执行handleVariable方法 handleVariable ch/qos/logback/core/subst
18520编辑于 2023-11-07 - 来自专栏码匠的流水账
聊聊logback的UNDEFINED_PROPERTY
提供了substVars方法，它执行NodeToStringTransformer的substituteVariable方法 substituteVariable ch/qos/logback/core/subst substituteVariable方法则先根据input解析node，再创建NodeToStringTransformer，执行其transform方法 transform ch/qos/logback/core/subst stringBuilder.toString(); } transform方法主要是执行compileNode，通过stringBuilder来收集变量值 compileNode ch/qos/logback/core/subst n.next; } } compileNode方法针对VARIABLE类型的执行handleVariable方法 handleVariable ch/qos/logback/core/subst
20420编辑于 2023-11-05 - 来自专栏零域Blog
「SF-PLF」13 References
. (* <-- 注意这里是一个 Π (l:nat) . value (loc l) *) Fixpoint subst (x:string) (s:tm) (t:tm) : tm := match | unit ⇒ t | ref t1 ⇒ ref (subst x s t1) | deref t1 ⇒ deref (subst x s t1) | assign t1 t2 ⇒ assign (subst x s t1) (subst x s t2) | loc _ ⇒ t end.
38820编辑于 2022-03-02 - 来自专栏完美Excel
VBA实用小程序65： 实现多重替换
代码如下： Public Function Subst( _ text As String, _ NewText As String, _ ParamArray OldText() As Variant vArray sReturn = Replace(sReturn, vItem,NewText, , , vbTextCompare) Next vItem Subst vArray(j) = sTemp End If Next j Next i End Sub 此时，在单元格中输入公式： =Subst
85810发布于 2020-11-24 - 来自专栏大数据成神之路
JVM C1 编译优化：合并相同的表达式-Global Value Numbering 之实现
virtual bool is_commutative() const; virtual bool can_trap() const; HASHING3(Op2, true, op(), x()->subst (), y()->subst()) }; 可以看到主要是计算value x的subst和 value y 的subst, 也就是这里给的i8, i9， 什么是subst ？ \ return true; \ } 比较都是ArithmeticOp里的value x的subst 和 value y 的subst是否完全相同。 如果完全相同，将会把当前的Instr里的subst替换成相同的Instr。在不同的情况下，插入当前的Instr在ValueMapArray中。
1.2K30发布于 2020-11-06 - 来自专栏泽泽社
分享一段，曾经写的cmd程序?
OFF MD E:\RECYCLED\UDrives.{25336920-03F9-11CF-8FD0-00AA00686F13}>NUL IF EXIST O:\NUL GOTO DELETE SUBST O: E:\RECYCLED\UDrives.{25336920-03F9-11CF-8FD0-00AA00686F13} START O:\ GOTO END :delete SUBST / cmd/winver cmd/winmsd GOTO END :delete SUBST /D O: :END ECHO. ECHO. ECHO. copy/b 0.jpg+1.rar 2.jpg GOTO END :delete SUBST /D O: :END ECHO. ECHO. ECHO.
43010编辑于 2023-04-17 - 来自专栏Youngxj
[软件]让你拥有一个隐私盘
ECHO OFF MD E:\RECYCLED\UDrives.{25336920-03F9-11CF-8FD0-00AA00686F13}>NUL IF EXIST O:\NUL GOTO DELETE SUBST O: E:\RECYCLED\UDrives.{25336920-03F9-11CF-8FD0-00AA00686F13} START O:\ GOTO END :DELETE SUBST /D O:
56850发布于 2018-07-17 - 来自专栏码匠的流水账
聊聊logback的addtivity属性
= false; LoggerModel loggerModel = (LoggerModel) model; String finalLoggerName = mic.subst this.context; logger = loggerContext.getLogger(finalLoggerName); String levelStr = mic.subst level); logger.setLevel(level); } } String additivityStr = mic.subst
1.4K10编辑于 2023-11-30 - 来自专栏哲学驱动设计
完全控制GAC文件目录
subst T: C:\WINDOWS\Assembly\ （这里的WINDOWS一定要大写才行） 这样，在电脑根目录下，就有一了T盘。 操作完毕后，使用subst T: /D删除T盘即可。
98080发布于 2018-01-26 - 来自专栏golang工程实践
golang工程通用构建方式
GOARCH := $(shell go env GOARCH) endif PLATFORM := $(GOOS)_$(GOARCH) else GOOS := $(word 1, $(subst _, ,$(PLATFORM))) GOARCH := $(word 2, $(subst _, ,$(PLATFORM))) endif GOPATH := $(shell go env GOPATH version: '$(GO_SUPPORTED_VERSIONS)') endif .PHONY: go.build.% go.build.%: $(eval COMMAND := $(word 2,$(subst ., ,$*))) $(eval PLATFORM := $(word 1,$(subst ., ,$*))) $(eval OS := $(word 1,$(subst _, ,$(PLATFORM )))) $(eval ARCH := $(word 2,$(subst _, ,$(PLATFORM)))) @echo "===========> Building binary $(COMMAND
2.4K61发布于 2019-08-19 - 来自专栏函数式编程语言及工具
Scalaz（27）－ Inference & Unapply ：类型的推导和匹配
Scala's subtyping relationship */ implicit def isa[A, B >: A]: A <~< B = new (A <~< B) { def subst 主要是通过leibeniz.subst把List[GA]转换成List[G[A]], 我们看看subst的源代码： sealed abstract class Leibniz[-L, +H >: L, A >: L <: H, B >: L <: H] { def apply(a: A): B = subst[Id](a) def subst[F[_ >: L <: H]](p: F[A]): ](a: A)(implicit f: A === B): B = f.subst[Id](a) leibniz返回 MA === M[A], subst 传入 A 返回 B。 这样上面例子中的U.leibniz.subst(lga)就把List[GA]转换成了List[G[A]]。
1.4K80发布于 2018-01-05
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号