首页
学习
活动
专区
工具
TVP
发布
精选内容/技术社群/优惠产品,尽在小程序
立即前往

如何在Julia REPL中搜索以前执行过的命令?

在Julia REPL中搜索以前执行过的命令,可以使用Ctrl + R快捷键来进行搜索。按下Ctrl + R后,会出现一个提示符,可以输入关键字来搜索之前执行过的命令。每次按下Ctrl + R,都会显示与输入的关键字匹配的最近的命令。可以通过按下Ctrl + R多次来浏览匹配的命令,或者按下Enter键来执行匹配的命令。

Julia REPL还提供了其他一些有用的命令历史记录操作快捷键,包括:

  • Ctrl + P:向上浏览命令历史记录。
  • Ctrl + N:向下浏览命令历史记录。
  • Ctrl + F:向前移动光标。
  • Ctrl + B:向后移动光标。
  • Ctrl + A:将光标移动到行首。
  • Ctrl + E:将光标移动到行尾。
  • Ctrl + U:删除光标之前的所有字符。
  • Ctrl + K:删除光标之后的所有字符。

这些快捷键可以帮助您更方便地浏览和搜索以前执行过的命令。Julia REPL还支持使用上下箭头键来浏览命令历史记录。

页面内容是否对你有帮助?
有帮助
没帮助

相关·内容

Windows10中的键盘快捷方式

Windows 徽标键 + Shift + C打开超级按钮菜单Windows 徽标键 + D显示和隐藏桌面Windows 徽标键 + Alt + D显示和隐藏桌面上的日期和时间Windows 徽标键 + E打开文件资源管理器Windows 徽标键 + F打开反馈中心并获取屏幕截图Windows 徽标键 + G打开游戏栏(当游戏处于打开状态时)Windows 徽标键 + H开始听写Windows 徽标键  + I打开“设置”Windows 徽标键 + J 请将焦点设置到可用的 Windows 提示。 当出现 Windows 提示时,请将焦点移到提示上。 再次按下键盘快捷方式,将焦点放在屏幕上 Windows 提示所固定的元素上。Windows 徽标键 + K打开“连接”快速操作Windows 徽标键 + L锁定你的电脑或切换帐户Windows 徽标键 + M最小化所有窗口Windows 徽标键 + O锁定设备方向Windows 徽标键 + P选择演示显示模式Windows 徽标键 + R打开“运行”对话框Windows 徽标键 + S打开“搜索”Windows 徽标键 + T循环浏览任务栏上的应用Windows 徽标键 + U打开“轻松使用设置中心”Windows 徽标键 + V循环浏览通知Windows 徽标键 + Shift + V以相反顺序循环浏览通知Windows 徽标键 + X打开“快速链接”菜单Windows 徽标键  + Y在 Windows Mixed Reality 与桌面之间切换输入Windows 徽标键 + Z以全屏模式显示应用中可用的命令Windows 徽标键 + 句点 (.) 或分号 (;)打开表情符号面板Windows 徽标键 + 逗号 (,)临时速览桌面Windows 徽标键 + Pause 键显示“系统属性”对话框Windows 徽标键 + Ctrl + F搜索电脑(如果已连接到网络)Windows 徽标键 + Shift + M还原桌面上的最小化窗口Windows 徽标键 + 数字打开桌面,然后启动固定到任务栏的应用(位于数字所指明的位置)。如果应用已处于运行状态,则切换至该应用。Windows 徽标键 + Shift + 数字打开桌面,然后启动固定到任务栏的应用新实例(位于数字所指明的位置)Windows 徽标键 + Ctrl + 数字打开桌面,然后切换至固定到任务栏的应用的最后活动窗口(位于数字所指明的位置)Windows 徽标键 + Alt + 数字打开桌面,然后打开固定到任务栏的应用的“跳转列表”(位于数字所指明的位置)Windows 徽标键 + Ctrl + Shift + 数字打开桌面,然后以管理员身份打开位于任务栏上指定位置的应用新实例Windows 徽标键 + Tab打开任务视图Windows 徽标键 向上键最大化窗口Windows 徽标键 向下键删除屏幕上的当前应用并最小化桌面窗口Windows 徽标键 + 向左键最大化屏幕左侧的应用或桌面窗口Windows 徽标键 + 向右键最大化屏幕右侧的应用或桌面窗口Windows 徽标键 + Home最小化活动桌面窗口之外的所有窗口(在第二个笔划时还原所有窗口)Windows 徽标键 + Shift + 向上键将桌面窗口拉伸至屏幕顶部和底部Windows 徽标键 + Shift + 向下键在垂直方向上还原/最小化活动桌面窗口,而宽度保持不变Windows 徽标键 Shift + 向左键或向右键将桌面上的应用或窗口从一台显示器移动至另一台显示器Windows 徽标键+ 空格键切换输入语言和键盘布局Windows 徽标键+ Ctrl + 空格键对之前选择的输入所做的更改Windows 徽标键+ Ctrl + Enter打开讲述人Windows 徽标键+ 加号 (+)打开放大镜Windows 徽标键+ 正斜杠 (/)开始输入法复原流程Windows 徽标键  + Ctrl + V打开肩式分接设备 命令提示符键盘快捷方式

02

Chrome快捷键整理

Ctrl+N 打开新窗口 Ctrl+T 打开新标签页 Ctrl+Shift+N 在隐身模式下打开新窗口 Ctrl+O,然后选择文件 在谷歌浏览器中打开计算机上的文件 按住 Ctrl 键,然后点击链接 从后台在新标签页中打开链接,但您仍停留在当前标签页中 按住 Ctrl+Shift 键,然后点击链接 在新标签页中打开链接,同时切换到新打开的标签页 按住 Shift 键,然后点击链接 在新窗口中打开链接 Alt+F4 关闭当前窗口 Ctrl+Shift+T 重新打开上次关闭的标签页。谷歌浏览器可记住最近关闭的 10 个标签页。 将链接拖动到标签页内 在指定标签页中打开链接 将链接拖动到两个标签页之间 在标签页横条的指定位置建立一个新标签页,在该标签页中打开链接 Ctrl+1 到 Ctrl+8 切换到指定位置编号的标签页。您按下的数字代表标签页横条上的相应标签位置。 Ctrl+9 切换到最后一个标签页 Ctrl+Tab 或 Ctrl+PgDown 切换到下一个标签页 Ctrl+Shift+Tab 或 Ctrl+PgUp 切换到上一个标签页 Ctrl+W 或 Ctrl+F4 关闭当前标签页或弹出式窗口 Alt+Home 打开主页

04
领券