[Nix] Add dev shell to .envrc
ClosedPublic
Actions

Authored by • jon on Jan 25 2023, 7:38 PM.

Tags

None

Referenced Files

	F3248768: D6392.id21378.diff
	Fri, Nov 15, 10:43 AM

	F3248754: D6392.id21346.diff
	Fri, Nov 15, 10:37 AM

	F3248080: D6392.diff
	Fri, Nov 15, 8:31 AM

	Unknown Object (File)
	Fri, Nov 8, 3:07 AM

	Unknown Object (File)
	Fri, Nov 8, 3:07 AM

	Unknown Object (File)
	Fri, Nov 8, 3:06 AM

	Unknown Object (File)
	Tue, Oct 29, 7:52 AM

	Unknown Object (File)
	Tue, Oct 29, 7:52 AM

View All 85 Files

Subscribers

tomek

Details

Reviewers

atul
varun
bartek
ashoat

Commits

rCOMM16841a33d6c7: [Nix] Add dev shell to .envrc

Summary

Direnv should reload when we change the dev shell as well.

Test Plan

Could patch in another diff (e.g. D6356) and assert that direnv reloaded.

Diff Detail

Repository

rCOMM Comm

Branch

jonringer/add-devshell-direnv

Lint

No Lint Coverage

Unit

No Test Coverage

Event Timeline

• jon created this revision.Jan 25 2023, 7:38 PM

Herald added a subscriber: tomek. · View Herald TranscriptJan 25 2023, 7:38 PM

• jon mentioned this in D6356: [Nix] Install watchman through homebrew.Jan 25 2023, 7:38 PM

Harbormaster completed remote builds in B15653: Diff 21346.Jan 25 2023, 7:52 PM

• jon requested review of this revision.Jan 25 2023, 7:52 PM

bartek accepted this revision.Jan 26 2023, 12:53 AM

This revision is now accepted and ready to land.Jan 26 2023, 12:53 AM

Closed by commit rCOMM16841a33d6c7: [Nix] Add dev shell to .envrc (authored by • jon). · Explain WhyJan 26 2023, 9:48 AM

This revision was automatically updated to reflect the committed changes.

• jon added a commit: rCOMM16841a33d6c7: [Nix] Add dev shell to .envrc.

Revision Contents
Changeset List

Path

Size

.envrc

1 line

Diff 21346

View Options

[Nix] Add dev shell to .envrcClosedPublicActions